Certora 证明器

a5c-ai/babysitter/library/specializations/cryptography-blockchain/skills/certora-prover

1.7k 0JavaScript开发工具
平台通用(跨宿主)

用 Certora Prover 与 CVL 规范语言做形式化验证。支持不变量规则、参数化验证、ghost 变量、反例分析,对合约正确性做数学证明。

通用(跨宿主)

全部 skill