"VerX" is an automated verifier able to prove custom functional properties of Ethereum Smart Contracts.
The functional properties for the contract are formalized in VerX specification language. By supplying VerX with the contract and the specification, VerX either verifies the property, outputs a sequence of transactions that may result in the property violation, or indicates that additional predicates are needed.
- VerX