Lompat ke konten utama
Keamanan & pengujian

Certora AutoProver

Verifikasi formal

Lihat di GitHub (buka di tab baru)

Lihat selanjutnya

K Semantics of the Ethereum Virtual Machine (EVM)

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

Tag

  • Verifikasi formal
  • Verifikasi

RepositoriCertora

Info

Tipe
Verifikasi formal
Bintang GitHub
17
Lisensi
GPL-3.0
Pencantuman ditinjau
September 2026

Alat serupa

hax

hax

hax adalah alat untuk terjemahan jaminan tinggi dari sebagian besar Rust ke dalam bahasa formal seperti F* atau 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 mengangkat pengujian properti Foundry ke dalam bukti yang didukung KEVM sehingga Anda dapat mengejar jaminan formal dengan lebih sedikit pekerjaan spesifikasi yang ditulis tangan daripada KEVM mentah saja.