Certora provides accessible and cost-efficient formal verification of smart contracts. Certora's Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract fulfill a set of requirements. Blockchain independent and language agnostic, Certora's AEV technology precisely identifies or verifies the absence of bugs in smart contracts.
Cumulative Funding Raised Over Time ($)
Employees Over Time
Certora Climate Tech relevance
null
Latest News
No Data, yet.
Sorry, no content found under this section.
May 17, 2022
www.coindesk.com
Certora Raises $36M for Smart Contract Security Tools