Unit tests cover the things someone thought to test. Formal methods test things nobody thought to test.
The tweet was just a joke, aka 'shitposting', not really meant to convince anyone of anything. But yeah both are good. :-)
-
-
Also it is “notorious” that FM don't work, people assume that anything that worked was not FM, so you may see someone like Hanno
-
asking why FM never find any important vulnerability, like SLOTH?
-
The main reason
#formalmethods does not work is that they do not scale well enough to use on real systems. Yet. :-)
End of conversation
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.