Literature for Verification

• Core Lecture Verification
  
  


• Baier, Christel and Katoen, Joost-Pieter
  Principles of model checking
  MIT 2008
  BAI ch 2008:1 1.Ex
  


• Clarke, Edmund M. and Grumberg, Orna and Peled, A.
  Model Checking
  MIT Press 1999
  CLA e 1999:1 1.Ex
  


• Grädel, Erich and Thomas, Wolfgang and Wilke, Thomas
  Automata, Logics, and Infinite Games
  Springer 2002
  GRÄ e 2002:1 1.Ex
  


• Huth, Michael and Ryan, Mark
  Logic in computer science
  Cambridge 2006
  HUTh m 2006:1 1.Ex
  


• Katoen, Joost-Pieter
  Concepts, algorithms, and tools for model checking
  Inst. für Math. Maschinen und Datenverarbeitung 1999
  KAT j 1999:1 1.Ex
  


• Khoussainov, Bakhadyr and Nerode, Anil
  Automata Theory and its Applications
  Birkhäuser 2001
  KHO b 2001:1 1.Ex
  


• Magee, Jeff and Kramer, Jeff
  Concurrency
  John Wiley & Sons 2007
  MAG j 2007:1 1.Ex
  


• Manna, Zohar and Pnueli, Amir
  Temporal Verification of Reactive Systems
  Springer 1995
  MAN z 1995:1 1.Ex
  


• Peled, D.
  Software Reliability Methods
  Springer 2001
  PEL d 2001:1 1.Ex
  


• Schneider, K.
  Verification of Reactive Systems
  Springer 2004
  SchNE k 2004:1 1.Ex