Zum Hauptinhalt springen
Sicherheit & Testing

Kontrol - formal verification tool based on Foundry and KEVM

Formale Verifikation

Auf GitHub ansehen (öffnet in einem neuen Tab)Kontrol - formal verification tool based on Foundry and KEVM auf X (öffnet in einem neuen Tab)

Nächstes ansehen

Act

Über Kontrol - formal verification tool based on Foundry and KEVM

Kontrol hebt Foundry-Eigenschaftstests in KEVM-gestützte Beweise, sodass Sie formale Garantien mit weniger handgeschriebener Spezifikationsarbeit als mit reinem KEVM allein anstreben können.

Tags

  • Foundry
  • Bildung
  • Governance
  • Formale Verifikation
  • Solidity
  • Laufzeitverifikation
  • Vertragsbereitstellung
  • Statische Analyse

Repositoriesruntimeverification

Info

Typ
Formale Verifikation
GitHub-Sterne
127
Lizenz
BSD-3-Clause
Eintrag überprüft
Juni 2026

Ähnliche Tools

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM ist die ausführbare K-Framework-Semantik der EVM: Wenden Sie sie auf Bytecode an, wenn Sie konformitätsgeprüfte Ausführung, symbolische Erkundung, Gas-Analysen oder Beweise benötigen, die den Regeln von Ethereum genau folgen.

hax

hax

hax ist ein Tool für hochsichere Übersetzungen einer großen Teilmenge von Rust in formale Sprachen wie F* oder 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.