Přejít na hlavní obsah
Bezpečnost a testování

Certora AutoProver

Formální verifikace

Zobrazit na GitHubu (otevře se v nové záložce)

Zobrazit další

K Semantics of the Ethereum Virtual Machine (EVM)

O 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.

Štítky

  • Formální verifikace
  • Verifikace

RepozitářCertora

Informace

Typ
Formální verifikace
Hvězdičky na GitHubu
17
Licence
GPL-3.0
Záznam zkontrolován
září 2026

Podobné nástroje

hax

hax

hax je nástroj pro vysoce spolehlivé překlady velké podmnožiny jazyka Rust do formálních jazyků, jako jsou F* nebo 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 povyšuje testy vlastností ve Foundry na důkazy podložené KEVM, takže můžete usilovat o formální záruky s menším množstvím ručně psaných specifikací než u samotného čistého KEVM.