At a Glance
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
contractLarva is a runtime verification tool for Solidity contracts. For more details about the tool check out the user manual in the docs folder.