• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

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