(no title)
ShorsHammer | 5 years ago
Not following here, instead of process you mean no requirement to do so? The process is pretty clear and simple, there's a few different frameworks being built for smart contract formal verification along with the traditional methods working fine.
What was the last bit of code you wrote or used that was formally verified?
https://sci-hub.se/https://ieeexplore.ieee.org/document/8905...
No comments yet.