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

Act

Biçimsel doğrulama

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

Sonrakini gör

Verifereum

Act Hakkında

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.

Etiketler

  • Eğitim
  • Analitik
  • Biçimsel doğrulama
  • Sembolik yürütme

Depoethereum

Bilgi

Tür
Biçimsel doğrulama
GitHub yıldızları
284
Lisans
AGPL-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.