ప్రధాన కంటెంట్‌కు దాటవేయండి
భద్రత & టెస్టింగ్

Certora AutoProver

నియత ధృవీకరణ

GitHub లో చూడండి (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)

తర్వాతది చూడండి

K Semantics of the Ethereum Virtual Machine (EVM)

Certora AutoProver గురించి

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.

ట్యాగ్‌లు

  • నియత ధృవీకరణ
  • ధృవీకరణ

రిపోజిటరీCertora

సమాచారం

రకం
నియత ధృవీకరణ
GitHub స్టార్స్
17
లైసెన్స్
GPL-3.0
జాబితా సమీక్షించబడింది
సెప్టెంబర్ 2026

సారూప్య సాధనాలు

hax

hax

hax అనేది Rust యొక్క పెద్ద ఉపసమితిని F* లేదా Rocq వంటి ఫార్మల్ లాంగ్వేజ్‌లలోకి హై అస్యూరెన్స్ అనువాదాల కోసం ఒక టూల్.

Certora Prover

Certora Prover

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol, Foundry ప్రాపర్టీ పరీక్షలను KEVM-ఆధారిత నిరూపణలుగా మారుస్తుంది, తద్వారా మీరు కేవలం ముడి KEVM కంటే తక్కువ చేతితో వ్రాసిన స్పెసిఫికేషన్ పనితో నియత హామీలను సాధించవచ్చు.