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

• 2008
• 
  Hasan Amjad, Richard Bornat:
  Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY 2008
• 
  Gilles Barthe:
  Certificate Translation. VERIFY 2008
• 
  Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif:
  Compositional Proofs with Symbolic Execution. VERIFY 2008
• 
  Bernhard Beckert, Gerwin Klein:
  Title, Preface, Table of Contents. VERIFY 2008
• 
  Richard Bubel, Reiner Hähnle, Peter H. Schmitt:
  Specification Predicates with Explicit Dependency Information. VERIFY 2008
• 
  David A. Cock:
  Bitfields and Tagged Unions in C: Verification through Automatic Generation. VERIFY 2008
• 
  Matthias Daum, Jan Dörrenbächer, Sebastian Bogan:
  Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY 2008
• 
  Gurvan Le Guernic:
  Precise Dynamic Verification of Confidentiality. VERIFY 2008
• 
  Niusha Hakimipour, Paul A. Strooper, Roger Duke:
  Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY 2008
• 
  Gernot Heiser:
  Operating System Verification for Real Use. VERIFY 2008
• 
  Bernhard Beckert, Gerwin Klein:
  Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 372, CEUR-WS.org 2008 [contents]