I think of this story whenever people tell me that software would be better if we followed RealEngineering™ practicespic.twitter.com/tyfwWskzAq
-
I don't really feel qualified to write about this. I've seen useful things (allegedly) proved with model checking and theorem proving but...
... I don't really understand how either works and the only experience I have with either is on toy problems.
-
-
Applying theorem proving to non-toy problems seems to require a PhD's worth of experience. Not so with model checking AFAICT, but...
-
It's still fairly specialized (I think?) and it's not my specialty
-
Also, I think hardware is different from software here in that people are much more likely to propagate guarantees down to the impl
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.