Are there examples of model checkers for temporal logic which actually check the implementation along with the model? (Possibly Coq?)
@raggi a race detector is cool but how do I use it to know my program is correct?
-
-
@bascule you don'tThanks. 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.