Saltar al contenido principal
Seguridad y pruebas

Kontrol - formal verification tool based on Foundry and KEVM

Verificación formal

Ver en GitHub (se abre en una pestaña nueva)Kontrol - formal verification tool based on Foundry and KEVM en X (se abre en una pestaña nueva)

Ver siguiente

Act

Acerca de Kontrol - formal verification tool based on Foundry and KEVM

Kontrol eleva las pruebas de propiedades de Foundry a pruebas respaldadas por la KEVM para que pueda buscar garantías formales con menos trabajo de especificación escrito a mano que la KEVM sin procesar por sí sola.

Etiquetas

  • Foundry
  • Educación
  • Gobernanza
  • Verificación formal
  • Solidity
  • Verificación en tiempo de ejecución
  • Despliegue de contratos
  • Análisis estático

Repositoriosruntimeverification

Información

Tipo
Verificación formal
Estrellas en GitHub
127
Licencia
BSD-3-Clause
Listado revisado
junio de 2026

Herramientas similares

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

La KEVM es la semántica ejecutable del marco K de la EVM: apúntela al código de bytes cuando necesite una ejecución con comprobación de conformidad, exploración simbólica, razonamiento de gas o pruebas que sigan de cerca las reglas de Ethereum.

hax

hax

hax es una herramienta para traducciones de alta garantía de un gran subconjunto de Rust a lenguajes formales como F* o 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.