• 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

• 2012
• 
  Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes:
  Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6
• 
  Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns:
  mctau: Bridging the Gap between Modest and UPPAAL. SPIN 2012: 227-233
• 
  Ethan Burns, Rong Zhou:
  Parallel Model Checking Using Abstraction. SPIN 2012: 172-190
• 
  Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
  SMTInterpol: An Interpolating SMT Solver. SPIN 2012: 248-254
• 
  Alexander Ditter, Milan Ceska, Gerald Lüttgen:
  On Parallel Software Verification Using Boolean Equation Systems. SPIN 2012: 80-97
• 
  Sami Evangelista, Lars Michael Kristensen:
  Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue. SPIN 2012: 43-61
• 
  Shravan Garlapati, Sandeep K. Shukla:
  Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid. SPIN 2012: 137-154
• 
  Gerard J. Holzmann:
  Parallelizing the Spin Model Checker. SPIN 2012: 155-171
• 
  Yong Jiang, Zongyan Qiu:
  S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). SPIN 2012: 255-260
• 
  Stefan Leue, Mitra Tabaei Befrouei:
  Counterexample Explanation by Anomaly Detection. SPIN 2012: 24-42
• 
  Paul Dan Marinescu, Cristian Cadar:
  High-Coverage Symbolic Patch Testing. SPIN 2012: 7-21
• 
  Heinz Riener, Görschwin Fey:
  FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. SPIN 2012: 234-240
• 
  Theo C. Ruys, Pim Kars:
  Gossiping Girls Are All Alike. SPIN 2012: 117-136
• 
  Andrey Rybalchenko:
  Towards Automatic Synthesis of Software Verification Tools. SPIN 2012: 22
• 
  Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik:
  Parameterized Model Checking of Fine Grained Concurrency. SPIN 2012: 208-226
• 
  Martin Sulzmann, Axel Zechner:
  Model Checking DSL-Generated C Source Code. SPIN 2012: 241-247
• 
  Anton Wijs, Dragan Bosnacki:
  Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN 2012: 98-116
• 
  Andreas Zeller:
  Mining Models. SPIN 2012: 23
• 
  Reng Zeng, Zhuo Sun, Su Liu, Xudong He:
  McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. SPIN 2012: 191-207
• 
  Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers:
  A Compositional Minimization Approach for Large Asynchronous Design Verification. SPIN 2012: 62-79
• 
  Alastair F. Donaldson, David Parker:
  Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3 [contents]