Featured on Jan 31st, 2021

Certora

Smart Contract Accuracy & Security Verification

CHECK IT OUT

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· comments