@bascule: Temporal logic -We used this book at university: http://www.amazon.com/Temporal-Verification-Reactive-Systems-Safety/dp/0387944591/ …
-
-
- End of conversation
New conversation -
-
-
@bascule first off, it's not WHERE to begin, but WHEN... - End of conversation
New conversation -
-
-
@bascule where did you see him??Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule Regarding temporal logic, Katoen has a nice book on formal software verification http://is.ifmo.ru/books/_principles_of_model_checking.pdf … contains good info on LTLThanks. 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.