alt Hacker NewsYou're right. It just seems as though it should be self-evident. Especially to those sophisticated enough to understand and employ formal verification.
You're right. It just seems as though it should be self-evident. Especially to those sophisticated enough to understand and employ formal verification.
It does seem that way doesn't it? But as software bugs are becoming easier to find and exploit, I'm expecting more and more people, including those not "sophisticated enough" to understand and employ formal verification to start using it