• planish@sh.itjust.works
    22·
    1 year ago

    Every piece of software has vulnerabilities lurking within.

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

    • fartsparkles@sh.itjust.works
      3·
      1 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.