Tutorials and Papers

• 
  Stephan Merz: Model Checking: A Tutorial Overview. 3-38
• 
  John M. Rushby: Theorem Proving for Verification. 39-57
• 
  Antti Valmari: Composition and Abstraction. 58-98
• 
  Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. 99-124
• 
  Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes: HMSCs as Partial Specifications ... with PNs as Completions. 125-152
• 
  Alessandro Cimatti: Industrial Applications of Model Checking. 153-168
• 
  Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux: Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. 169-182

Annotated Bibliographies

• 
  Javier Esparza: Verification of Systems with an Infinite State Space. 183-186
• 
  Ed Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. 187-195
• 
  Alexandre Petrenko: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. 196-205
• 
  Silvano Dal-Zilio: Mobile Processes: A Commented Bibliography. 206-222

last updated on Mon May 20 02:28:38 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page