6 ms·

You're right. It just seems as though it should be self-evident. Especially to those sophisticated enough to understand and employ formal verification.

• gopiandcode 6mo ago
  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
  • quantummagic 6mo ago
    > I'm expecting more and more people Then it would help to not introduce any confusion into the ecosystem by using a click-baity title that implies you found a bug which violated the formal specification.
    • sn9 6mo ago
      We should not cater to people who make decisions based on titles instead of reading the actual article.
      • quantummagic 6mo ago
        That's a shitty rationale for click-bait titles. Good titles are for the benefit of people who actually read the articles too.