Abstract is missing.
- Combining Model Checking and Deduction for I/O-AutomataOlaf Müller, Tobias Nipkow. 1-16
- A Constraint Oriented Proof Methodology Based on Modal Transition SystemsKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise. 17-40
- A User Guide to HyTechThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. 41-71
- Modal µ-Calculus, Model Checking and Gauß EliminationAngelika Mader. 72-88
- Mona: Monadic Second-Order Logic in PracticeJesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm. 89-110
- Efficient Simplification of Bisimulation FormulasUffe Engberg, Kim S. Larsen. 111-132
- Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for DeadlockA. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood. 133-152
- A Front-End Generator for Verification ToolsRance Cleaveland, Eric Madelaine, Steve Sims. 153-173
- Analytic and Locally Approximate Solutions to Properties of Probabilistic ProcessesChris M. N. Tofts. 174-194
- Model Checking of Non-Finite State Processes by Finite ApproximationsNicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi. 195-215
- On Automatic and Interactive Design of Communication SystemsJürgen Bohn, Stephan Rössig. 216-237
- Layers as Knowledge Transitions in the Design of Distributed SystemsWil Janssen. 238-263
- Parallelism for Free: Bitvector Analyses -> No State Explosion!Jens Knoop, Bernhard Steffen, Jürgen Vollmer. 264-289