the conversation in this thread completely changed my view of formal verification tools. I used to think of them as "code" verifier. I know realize they're actu

the conversation in this thread completely changed my view of formal verification tools. I used to think of them as "code" verifier. I know realize they're actually "whiteboard drawings" verifiers. Which makes it much more usable right away. I believe my mistake was due to the fact that most articles on the subject start by showing you a faulty piece of code.