Literature for Verification


Link to the Homepage: Verification


no image available Baier, Christel and Katoen, Joost-Pieter
Principles of model checking
MIT 2008
  • print: BAI ch 2008:1 1.Ex
no image available Clarke, Edmund M.; Grumberg, Orna and Peled, A.
Model checking
MIT Press 1999
no image available Huth, Michael and Ryan, Mark
Logic in computer science
Cambridge 2006
  • print: HUTh m 2006:1 1.Ex
no image available Katoen, Joost-Pieter
Concepts, algorithms, and tools for model checking
Inst. für Math. Maschinen und Datenverarbeitung 1999
  • print: KAT j 1999:1 1.Ex
no image available Khoussainov, Bakhadyr and Nerode, Anil
Automata theory and its applications
Birkhäuser 2001
no image available Grädel, Erich; Thomas, Wolfgang and Wilke, Thomas
Automata, logics, and infinite games
Springer 2002
no image available Magee, Jeff and Kramer, Jeff
Concurrency
John Wiley & Sons 2007
no image available Manna, Zohar and Pnueli, Amir
Temporal verification of reactive systems
Springer 1995
no image available Peled, D.
Software reliability methods
Springer 2001
no image available Schneider, Klaus
Verification of reactive systems
Springer 2004