Abstract is missing.
- Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem ProvingJohn M. Rushby. 1-11 [doi]
- Runtime Efficient State Compaction in SPINJaco Geldenhuys, P. J. A. de Villiers. 12-21 [doi]
- Distributed-Memory Model Checking with SPINFlavio Lerda, Riccardo Sisto. 22-39 [doi]
- Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak FairnessDragan Bosnacki. 40-56 [doi]
- Divide, Abstract, and Model-CheckKarsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen. 57-76 [doi]
- Formal Methods Adoption: What s Working, What s Not!Dan Craigen. 77-91 [doi]
- Model Checking for ManagersWil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen. 92-107 [doi]
- Xspin/Project - Integrated Validation Management for XspinTheo C. Ruys. 108-119 [doi]
- Analyzing Mode Confusion via Model CheckingGerald Lüttgen, Victor Carreño. 120-135 [doi]
- Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and XspinCarl B. Adekunle, Steve Schneider. 136-151 [doi]
- Java PathFinder, A Translator from Java to PromelaKlaus Havelund. 152 [doi]
- VIP: A Visual Interface for PromelaMoataz Kamel, Stefan Leue. 153 [doi]
- Events in Property PatternsMarsha Chechik, Dimitrie O. Paun. 154-167 [doi]
- Assume-Guarantee Model Checking of Software: A Comparative Case StudyCorina S. Pasareanu, Matthew B. Dwyer, Michael Huth. 168-183 [doi]
- A Framework for Automatic Construction of Abstract Promela ModelsMaría-del-Mar Gallardo, Pedro Merino. 184-199 [doi]
- Model Checking Operator ProceduresWenhui Zhang. 200-215 [doi]
- Applying Model Checking in Java VerificationKlaus Havelund, Jens U. Skakkebæk. 216-231 [doi]
- The Engineering of a Model Checker: The Gnu i-Protocol Case Study RevisitedGerard J. Holzmann. 232-244 [doi]
- Embedding a Dialect of SDL in PROMELAHeikki Tuominen. 245-260 [doi]
- dSPIN: A Dynamic Extension of SPINClaudio Demartini, Radu Iosif, Riccardo Sisto. 261-276 [doi]