Runtime Verification Tool for Solidity Smart Contracts

joshuaelluljoshuaellul Member Posts: 1
We have just released contractLarva, a runtime verification tool for smart contracts written in Solidity. The tool takes a smart contract implementation and a formal specification of how it should behave, and integrates a compliance monitor into the implementation to ensure that it behaves according to the specification.

ContractLarva has been released open source on github (, and although it is still at an early alpha version, we believe that it can be a useful tool to increase dependability of smart contracts.

Contact us if you have any questions or would like to collaborate on this project.

Best regards,

Gordon Pace (
Joshua Ellul (
Sign In or Register to comment.