Certora Prover

https://docs.certora.com/en/latest/

Certora Prover is a formal verification tool for smart contracts. It enables users to verify the...

Tokens:101,896
Snippets:993
Trust Score:9.5
Update:8 months ago
Tokens:
Raw