10. SPIN 2003: Portland, OR, USA

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

Last update Thu May 23 18:01:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page