Güvenlik ve test

Certora AutoProver

Biçimsel doğrulama

GitHub'da görüntüle

Sonrakini gör

K Semantics of the Ethereum Virtual Machine (EVM)

Certora AutoProver Hakkında

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.

Etiketler

Biçimsel doğrulama
Doğrulama

DepoCertora

AutoProver17 (yeni sekmede açılır)

Bilgi

Tür: Biçimsel doğrulama
GitHub yıldızları: 17
Lisans: GPL-3.0
Listeleme incelendi: Eylül 2026

Benzer araçlar

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 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, Foundry özellik testlerini KEVM destekli kanıtlara yükseltir, böylece yalnızca ham KEVM'den daha az elle yazılmış spesifikasyon çalışmasıyla biçimsel garantilerin peşine düşebilirsiniz.