References

 
Textbook: Principles of Model Checking, Christel Baier and Joost-Pieter Katoen, MIT Press, 2008


Other resources:
  • Model Checking, Edmund M. Clarke, Orna Grumberg, and Doron Peled, The MIT Press, 1999
  • Logic in Computer Science, Michael Huth and Mark Ryan, Cambridge University Press, 2 edition, 2004
  • Runtime Verification of LTL: TOSEM Paper.
  • The model checker Spin: Spin online references.
  • Safety and liveness: Defining livenesss by Alpern and Schneider.
  • Propositional and predicate logic: Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer, 1996. Second Edition (available at Google Books).
  • PVS: The PVS documentation at SRI website.