Formal methods aim at providing not perfection, but a *ratchett* so software can't backslide into entire identified classes of bugs [1/9]
-
-
-
Security is 100% absence of certain classes of bugs; removing "most" bugs isn't enough; relying on no human mistakes won't work. [2/9]
- 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!