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 Grädel, Erich; Thomas, Wolfgang and Wilke, Thomas
Automata, logics, and infinite games
Springer 2002
no image available Huth, Michael and Ryan, Mark
Logic in computer science
Cambridge 2006
  • print: HUTh m 2006:1 1.Ex
no image available Kaminski, Benjamin Lucien
Advanced weakest precondition calculi for probabilistic programs
RWTH Aachen 2019