Certora Prover is a formal verification tool that checks smart contract code against rules to identify vulnerabilities.
Latest indexed changes and source events
Other apps tracked under the same category.
