• 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 21 matches

• 2007
• 
  Jiri Barnat, Lubos Brim, Petr Rockai:
  Scalable Multi-core LTL Model-Checking. SPIN 2007: 187-203
• 
  Gérard Basler, Daniel Kroening, Georg Weissenbacher:
  SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148
• 
  Lubos Brim, Jiri Barnat:
  Tutorial: Parallel Model Checking. SPIN 2007: 2-3
• 
  Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
  Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262
• 
  Swarat Chaudhuri, Rajeev Alur:
  Instrumenting C Programs with Nested Word Monitors. SPIN 2007: 279-283
• 
  Dennis Dams:
  StackSnuffer: Curing Orion's Unsoundness. SPIN 2007: 1
• 
  Sami Evangelista, Christophe Pajault:
  Some Solutions to the Ignoring Problem. SPIN 2007: 76-94
• 
  Harald Fecher, Sharon Shoham:
  Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23
• 
  María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán:
  C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273
• 
  Paul Gastin, Pierre Moro:
  Minimal Counterexample Generation for SPIN. SPIN 2007: 24-38
• 
  Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
  Cartesian Partial-Order Reduction. SPIN 2007: 95-112
• 
  Alberto Lluch-Lafuente:
  Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
• 
  Radek Pelánek:
  BEEM: Benchmarks for Explicit Model Checkers. SPIN 2007: 263-267
• 
  Kristin Y. Rozier, Moshe Y. Vardi:
  LTL Satisfiability Checking. SPIN 2007: 149-167
• 
  Neha Rungta, Eric G. Mercer:
  Generating Counter-Examples Through Randomized Guided Search. SPIN 2007: 39-57
• 
  Mohamed Nassim Seghir, Andreas Podelski:
  ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007: 274-278
• 
  Joel P. Self, Eric G. Mercer:
  On-the-Fly Dynamic Dead Variable Analysis. SPIN 2007: 113-130
• 
  Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi:
  A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222
• 
  Michael Weber:
  An Embeddable Virtual Machine for State Space Generation. SPIN 2007: 168-186
• 
  Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
  Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
• 
  Dragan Bosnacki, Stefan Edelkamp:
  Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0 [contents]