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

• 2020
• 
  Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer:
  Constraint-Based Contract Inference for Deductive Verification. 20 Years of KeY 2020: 149-176
• 
  Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz:
  Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY 2020: 287-312
• 
  Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito:
  SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY 2020: 313-338
• 
  Sarah Grebing, Mattias Ulbrich:
  Usability Recommendations for User Guidance in Deductive Program Verification. 20 Years of KeY 2020: 261-284
• 
  Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
  A Tutorial on Verifying LinkedList Using KeY. 20 Years of KeY 2020: 221-245
• 
  Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl:
  The VerifyThis Collaborative Long Term Challenge. 20 Years of KeY 2020: 246-260
• 
  Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen:
  Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY 2020: 85-121
• 
  Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
  Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
• 
  Stefan Mitsch, André Platzer:
  A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. 20 Years of KeY 2020: 21-64
• 
  Wojciech Mostowski:
  From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java. 20 Years of KeY 2020: 177-203
• 
  Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten:
  Improving Performance of the VerCors Program Verifier. 20 Years of KeY 2020: 65-82
• 
  Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel:
  Formal Analysis of Smart Contracts: Applying the KeY System. 20 Years of KeY 2020: 204-218
• 
  Peter H. Schmitt:
  A Short History of KeY. 20 Years of KeY 2020: 3-18
• 
  Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
  Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science 12345, Springer 2020, ISBN 978-3-030-64353-9 [contents]