|
Link to the Homepage: Verification
| |
Baier, Christel and Katoen, Joost-Pieter Principles of model checking MIT 2008 | |
Clarke, Edmund M.; Grumberg, Orna and Peled, A. Model Checking MIT Press 1999 | |
Huth, Michael and Ryan, Mark Logic in computer science Cambridge 2006 | |
![]() |
Katoen, Joost-Pieter Concepts, algorithms, and tools for model checking Inst. für Math. Maschinen und Datenverarbeitung 1999 |
Khoussainov, Bakhadyr and Nerode, Anil Automata Theory and its Applications Birkhäuser 2001 | |
Grädel, Erich; Thomas, Wolfgang and Wilke, Thomas Automata, Logics, and Infinite Games Springer 2002 | |
Magee, Jeff and Kramer, Jeff Concurrency John Wiley & Sons 2007 | |
Manna, Zohar and Pnueli, Amir Temporal Verification of Reactive Systems Springer 1995 | |
Peled, D. Software Reliability Methods Springer 2001 | |
Schneider, Klaus Verification of Reactive Systems Springer 2004 |