|
|
|
|
|
|
by ghayes
2523 days ago
|
|
|
We’ve been using Certora for smart contract code verification. For me, it’s really amazing to see effective code verification can be (on small and important code routines). Over time, I expect code verification to overtake unit testing for core (pure) code modules. |
|
|