• fartsparkles@sh.itjust.works
    link
    fedilink
    arrow-up
    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.