مرکزی مواد پر جائیں
سیکیورٹی اور ٹیسٹنگ

Certora AutoProver

رسمی تصدیق

⁦GitHub⁩ پر دیکھیں (نئے ٹیب میں کھلتا ہے)

اگلا دیکھیں

K Semantics of the Ethereum Virtual Machine (EVM)

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

ٹیگز

  • رسمی تصدیق
  • تصدیق

ریپوزٹریCertora

معلومات

قسم
رسمی تصدیق
⁦GitHub⁩ اسٹارز
۱۷
لائسنس
GPL-3.0
لسٹنگ کا جائزہ لیا گیا
ستمبر ۲۰۲۶

ملتے جلتے ٹولز

hax

hax

⁦hax⁩ ⁦Rust⁩ کے ایک بڑے سب سیٹ کو فارمل زبانوں جیسے ⁦F*⁩ یا ⁦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⁩ ⁦Foundry⁩ پراپرٹی ٹیسٹس کو ⁦KEVM⁩ کے حمایت یافتہ ثبوتوں میں تبدیل کرتا ہے تاکہ آپ صرف خام ⁦KEVM⁩ کے مقابلے میں کم ہاتھ سے لکھے گئے تصریحی کام کے ساتھ رسمی ضمانتوں کا پیچھا کر سکیں۔