Saltar al contenido principal
Seguridad y pruebas

Certora AutoProver

Verificación formal

Ver en GitHub (se abre en una pestaña nueva)

Ver siguiente

K Semantics of the Ethereum Virtual Machine (EVM)

Acerca de Certora AutoProver

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.

Etiquetas

  • Verificación formal
  • Verificación

RepositorioCertora

Información

Tipo
Verificación formal
Estrellas en GitHub
17
Licencia
GPL-3.0
Listado revisado
septiembre de 2026

Herramientas similares

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.

Kontrol - formal verification tool based on Foundry and KEVM

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.