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

• 2009
• 
  Matko Botincan, Matthew J. Parkinson, Wolfram Schulte:
  Separation Logic Verification of C Programs with an SMT Solver. SSV 2009: 5-23
• 
  Andrew Boyton:
  A Verified Shared Capability Model. SSV 2009: 25-44
• 
  Jörg Brauer, Ralf Huuck, Bastian Schlich:
  Interprocedural Pointer Analysis in Goanna. SSV 2009: 65-83
• 
  Jörg Brauer, Bastian Schlich, Stefan Kowalewski:
  Parallel and Distributed Invariant Checking of Microcontroller Software. SSV 2009: 45-63
• 
  Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte:
  A Precise Yet Efficient Memory Model For C. SSV 2009: 85-103
• 
  Yuusuke Hashimoto, Shin Nakajima:
  Modular Checking with Model Checking. SSV 2009: 105-122
• 
  Mark A. Hillebrand, Dirk Leinenbach:
  Formal Verification of a Reader-Writer Lock Implementation in C. SSV 2009: 123-141
• 
  Ralf Huuck, Gerwin Klein, Bastian Schlich:
  Preface. SSV 2009: 1-3
• 
  Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
  Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. SSV 2009: 143-160
• 
  Norbert Schirmer, Makarius Wenzel:
  State Spaces - The Locale Way. SSV 2009: 161-179
• 
  Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker:
  An Abstract Specification Language for Static Program Analysis. SSV 2009: 181-197
• 2008
• 
  Ralf Huuck, Gerwin Klein, Bastian Schlich:
  Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 [contents]