I kind of feel like the folks proposing formally verifying C code over rewriting it don't understand what formal verification is.
-
-
Yes! Because the tradeoffs are different there :)https://twitter.com/ManishEarth/status/885188103605952512 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Also, for CT crypto, a shifted version of the idea is useful. A compiler that checks asm instead of producing ithttps://twitter.com/ManishEarth/status/885185783740547072 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.