10. SPIN 2003: Portland, OR, USA

@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International SPIN Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  booktitle = {SPIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  year      = {2003},
  isbn      = {3-540-40117-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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