We are currently verifying the absence of internal errors in the protocol of Tezos. We show that no unexpected errors are reachable in the code, such as assert false or critical errors. We describe here what we have done recently towards the verification of such errors.
Absence of internal errors
· 5 min read
Formal Land