2
Through it's own Automatic Exact Verification (AEV) technology, complementing existing smart-contract compilers & debuggers, Certora smart contract accuracy & security verification checks that all executions of a smart contract fulfill predetermined requirements.
Hunted by @nigelmarkdias
$0.38·5 votes·0 comments
You need a Steem account to join the discussion
Sign up now