Abstract is missing.
- Optimal Scheduling Using Branch and Bound with SPIN 4.0Theo C. Ruys. 1-17 [doi]
- A Requirements Patterns-Driven Approach to Specify Systems and Check PropertiesSascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng. 18-33 [doi]
- Formal Modeling and Analysis of an Avionics Triplex Sensor VoterSamar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt. 34-48 [doi]
- Distributed Explicit Fair Cycle Detection (Set Based Approach)Ivana Cerná, Radek Pelánek. 49-73 [doi]
- Efficient Model Checking of Safety PropertiesTimo Latvala. 74-88 [doi]
- A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak FairnessDragan Bosnacki. 89-103 [doi]
- A SAT Characterization of Boolean-Program CorrectnessK. Rustan M. Leino. 104-120 [doi]
- What Went Wrong: Explaining CounterexamplesAlex Groce, Willem Visser. 121-135 [doi]
- A Nearly Memory-Optimal Data Structure for Sets and MappingsJaco Geldenhuys, Antti Valmari. 136-150 [doi]
- Checking Consistency of SDL+MSC SpecificationsDeepak D Souza, Madhavan Mukund. 151-165 [doi]
- Model Checking Publish-Subscribe SystemsDavid Garlan, Serge Khersonsky, Jung Soo Kim. 166-180 [doi]
- A Methodology for Model-Checking Ad-hoc NetworksIrfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner. 181-196 [doi]
- Promela PlanningStefan Edelkamp. 197-212 [doi]
- Thread-Modular Model CheckingCormac Flanagan, Shaz Qadeer. 213-224 [doi]
- Unification & Sharing in Timed Automata VerificationAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. 225-229 [doi]
- The Maude LTL Model Checker and Its ImplementationSteven Eker, José Meseguer, Ambarish Sridharanarayanan. 230-234 [doi]
- Software Verification with BLASTThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre. 235-239 [doi]