Temporal Logics, Verification and Falsification
Schema della sezione
-
Good book about temporal logic and model checking: Principle of Model Checking, Baier, Katoen, MIT Press, 2008
More references about interesting papers in the slides.
Streamed Lecture 10 (STL applications) here
-
STL File PDF