Pular para o conteúdo principal
Segurança e testes

Certora AutoProver

Verificação formal

Ver no GitHub (abre em uma nova aba)

Ver próximo

K Semantics of the Ethereum Virtual Machine (EVM)

Sobre 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.

Tags

  • Verificação formal
  • Verificação

RepositórioCertora

Informações

Tipo
Verificação formal
Estrelas no GitHub
17
Licença
GPL-3.0
Listagem revisada
setembro de 2026

Ferramentas semelhantes

hax

hax

O hax é uma ferramenta para traduções de alta garantia de um grande subconjunto de Rust para linguagens formais como F* ou 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

O Kontrol eleva os testes de propriedade do Foundry a provas apoiadas pela KEVM para que você possa buscar garantias formais com menos trabalho de especificação manual do que apenas com a KEVM bruta.