Security, Audit, Formal Verification, Bridge, Blockchain.
verify smart contract behavior for an infinite number of execution paths, often finding an input or rare behavior that results in a bug — a level of testing that is not feasible when done manually. Working with formulas rather than concrete inputs also means that the verification tool follows every