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

Certora Prover

Biçimsel doğrulama

GitHub'da görüntüle (yeni sekmede açılır)

Sonrakini gör

Kontrol - formal verification tool based on Foundry and KEVM

Certora Prover Hakkında

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.

Etiketler

  • Biçimsel doğrulama
  • Doğrulama
  • Güvenlik

DepoCertora

Bilgi

Tür
Biçimsel doğrulama
GitHub yıldızları
339
Lisans
GPL-3.0
Listeleme incelendi
Eylül 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.

Act

Act

Act, SMT çözücülerin, teorem kanıtlayıcıların veya ekonomik analiz araçlarının somut uygulamalara karşı otomatik iyileştirme kanıtları da dahil olmak üzere baytkod düzeyinde doğruluk ve teşvik uyumluluğu hakkında akıl yürütebilmesi için bir EVM programının tüm davranışlarını tanımlamaya yönelik Ethereum'un bildirimsel spesifikasyon dili ve araç zinciridir.