Title: Runtime Verification Tool for Ethereum Solidity Smart Contracts Post by: joshuaellul on December 18, 2017, 09:23:06 PM 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 (https://github.com/gordonpace/contractLarva (https://github.com/gordonpace/contractLarva)), 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 (gordon.pace@um.edu.mt) Joshua Ellul (joshua.ellul@um.edu.mt) |