मुख्य सामग्रीवर जा
सुरक्षा आणि चाचणी

Kontrol - formal verification tool based on Foundry and KEVM

औपचारिक पडताळणी

View on GitHub (नवीन टॅबमध्ये उघडते)Kontrol - formal verification tool based on Foundry and KEVM on X (नवीन टॅबमध्ये उघडते)

See next

Act

About Kontrol - formal verification tool based on Foundry and KEVM

Kontrol Foundry प्रॉपर्टी चाचण्यांना KEVM-समर्थित पुराव्यांमध्ये रूपांतरित करते, जेणेकरून तुम्ही केवळ रॉ KEVM च्या तुलनेत कमी हाताने लिहिलेल्या स्पेसिफिकेशनच्या कामासह औपचारिक हमी मिळवू शकाल.

टॅग्स

  • Foundry
  • शिक्षण
  • प्रशासन
  • औपचारिक पडताळणी
  • Solidity
  • रनटाइम पडताळणी
  • कॉन्ट्रॅक्ट प्रस्थापना
  • स्थिर विश्लेषण

रिपॉझिटरीजruntimeverification

Info

प्रकार
औपचारिक पडताळणी
GitHub stars
126

संबंधित संसाधने

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM हे EVM चे K-framework एक्झिक्युटेबल सिमेंटिक्स आहे: जेव्हा तुम्हाला कन्फॉर्मन्स-चेक्ड एक्झिक्युशन, सिम्बॉलिक एक्सप्लोरेशन, गॅस रिझनिंग, किंवा इथेरियमच्या नियमांचा बारकाईने मागोवा घेणाऱ्या पुराव्यांची आवश्यकता असते, तेव्हा त्याला बाइटकोडवर निर्देशित करा.

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.