4 ms·
Is there something about formal verification of systems that I don't understand?
by everfree 5y ago
Is there something about formal verification of systems that I don't understand?
- chrisseaton 5y agoPeople make mistakes in their verification code the same way they make mistakes in their actual code.
- avereveard 5y agoNo automatic verification would flag misunderstood business logic
- DonHopkins 5y agoThere is something about this "business logic" that I don't understand: >Because the TITAN price falls to 0 which we have unthought of, the contract will revert the redemption transaction.