Leonardo AltSMTChecker toward completenessThe SMTChecker current model checking engine is safe but not complete. This means that assertions and other verification targets reported…Jul 26, 20191Jul 26, 20191
Leonardo AltSolidity’s SMTChecker can automatically find real bugsIn my previous post (https://medium.com/@leonardoalt/formal-verification-in-solidity-5cbff7b7ff8) I wrote about the SMTChecker, a formal…Feb 26, 2019Feb 26, 2019