How to talk about software correctness without the language-obsessed crowd talking about programming languages?
-
-
Replying to @JobVranish
@JobVranish Start using those few that do. Also, let's talk about methods of verification, not necessarily and obsessively about languages.1 reply 0 retweets 0 likes
Replying to @JobVranish
@JobVranish Well, I can think of lots of places to start. LCF is a good one I guess. Then onto HOL and so on.
6:01 PM - 8 Apr 2014
0 replies
0 retweets
0 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.