https://www.certora.com/
Certora
Industry-leading formal verification tools and smart contract audits.
certora
https://prover.certora.com/
Certora Report
certorareport
https://docs.certora.com/en/latest/
Certora Prover Documentation — Certora Prover Documentation 0.0 documentation
certoraproverdocumentation