Argot Collective @argot.org · May 15 act ensures smart contract safety by providing a formal specification language and verification framework for Ethereum smart contracts. →qf.giveth.io/project/act...
2 likes 1 replies
?
Replies
hevm enables rigorous analysis and uncovers edge cases in smart contracts through its symbolic execution engine and testing framework. →qf.giveth.io/project/hev...