Abstract is missing.
- Model Checking: A Tutorial OverviewStephan Merz. 3-38 [doi]
- Theorem Proving for VerificationJohn M. Rushby. 39-57 [doi]
- Composition and AbstractionAntti Valmari. 58-98 [doi]
- UPPAAL - Now, Next, and FutureTobias 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. 99-124 [doi]
- HMSCs as Partial Specifications ... with PNs as CompletionsBenoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. 125-152 [doi]
- Industrial Applications of Model CheckingAlessandro Cimatti. 153-168 [doi]
- Formal Methods in Practice: The Missing Links. A Perspective from the Security AreaDominique Bolignano, Daniel Le Métayer, Claire Loiseaux. 169-182 [doi]
- Verification of Systems with an Infinite State SpaceJavier Esparza. 183-186 [doi]
- Testing Transition Systems: An Annotated BibliographyEd Brinksma, Jan Tretmans. 187-195 [doi]
- Fault Model-Driven Test Derivation from Finite State Models: Annotated BibliographyAlexandre Petrenko. 196-205 [doi]
- Mobile Processes: A Commented BibliographySilvano Dal-Zilio. 206-222 [doi]