I made this for an upcoming article on what formal methods can or cannot do:https://imgflip.com/i/2dcnu8
-
Show this thread
-
1 reply 1 retweet 4 likesShow this thread
The Formal Methods argument, revised and improved for all you code monkeys and enraptured nerds.pic.twitter.com/BGgP4h1YBD
11:49 AM - 4 Jul 2018
0 replies
4 retweets
9 likes
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!