certora-prover
a5c-ai/babysitter/library/specializations/cryptography-blockchain/skills/certora-prover
PlatformUniversal
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
Universal