• @[email protected]
    link
    fedilink
    01 year ago

    Every piece of software has vulnerabilities lurking within.

    Remind me why we put up with this again? Formal verification does exist.

    • @[email protected]
      link
      fedilink
      31 year ago

      Formal Verification doesn’t guarantee that the code is free of vulnerability, it just increases confidence in its security. It’s never perfect.