முக்கிய உள்ளடக்கத்திற்குத் தாவு
பாதுகாப்பு மற்றும் சோதனை

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 நட்சத்திரங்கள்
17
உரிமம்
GPL-3.0
பட்டியல் மதிப்பாய்வு செய்யப்பட்டது
செப்டம்பர் 2026

ஒத்த கருவிகள்

hax

hax

hax என்பது Rust-இன் பெரிய துணைக்குழுவை F* அல்லது Rocq போன்ற முறையான மொழிகளில் (formal languages) உயர்-உத்தரவாத மொழிபெயர்ப்புகளுக்கான கருவியாகும்.

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-ஐ மட்டும் பயன்படுத்துவதை விட குறைவான கையால் எழுதப்பட்ட விவரக்குறிப்பு வேலைகளுடன் முறைசார் உத்தரவாதங்களை நீங்கள் பெற முடியும்.