Ana içeriğe atla
Güvenlik ve test

Verifereum

Biçimsel doğrulama

Web sitesini ziyaret et (yeni sekmede açılır)X üzerinde Verifereum (yeni sekmede açılır)GitHub üzerinde Verifereum (yeni sekmede açılır)

Sonrakini gör

Certora AutoProver

Verifereum Hakkında

Verifereum, Ethereum akıllı sözleşmelerini HOL4 destekli teorem ispatına bağlar, böylece otomatik SMT yaklaşımları yeterli olmadığında çok güçlü doğruluk iddialarını hedefleyebilirsiniz.

Etiketler

  • Güvenlik
  • Eğitim
  • Biçimsel doğrulama

Depoverifereum

Bilgi

Tür
Biçimsel doğrulama
GitHub yıldızları
54
Lisans
GPL-3.0
Listeleme incelendi
Haziran 2026

Benzer araçlar

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM, EVM'nin K-framework yürütülebilir semantiğidir: uygunluk kontrollü yürütme, sembolik keşif, gaz muhakemesi veya Ethereum'un kurallarını yakından izleyen kanıtlara ihtiyacınız olduğunda onu baytkoda yönlendirin.

hax

hax

hax, Rust'ın büyük bir alt kümesinin F* veya Rocq gibi biçimsel dillere yüksek güvenceli çevirileri için bir araçtır.

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.