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

• 2013
• 
  Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang:
  Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN 2013: 24-42
• 
  Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
  A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN 2013: 43-60
• 
  Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
  On-the-Fly Control Software Synthesis. SPIN 2013: 61-80
• 
  Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek:
  Compositional Approach to Suspension and Other Improvements to LTL Translation. SPIN 2013: 81-98
• 
  John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk:
  Regression Verification Using Impact Summaries. SPIN 2013: 99-116
• 
  Dirk Beyer, Philipp Wendler:
  Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. SPIN 2013: 1-17
• 
  Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle:
  Abstraction-Based Guided Search for Hybrid Systems. SPIN 2013: 117-134
• 
  Sagar Chaki, Joseph Andrew Giampapa:
  Probabilistic Verification of Coordinated Multi-robot Missions. SPIN 2013: 135-153
• 
  Chih-Hong Cheng, Michael Geisinger, Christian Buckl:
  Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN 2013: 154-159
• 
  Giorgio Delzanno, Riccardo Traverso:
  Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN 2013: 160-177
• 
  Sven Gröning, Christopher Rosas, Christian Wietfeld:
  COMPLeTe - A COMmunication Protocol vaLidation Toolchain. SPIN 2013: 196-208
• 
  Gerard J. Holzmann:
  Proving Properties of Concurrent Programs - (Extended Abstract). SPIN 2013: 18-23
• 
  Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard:
  Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195
• 
  Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
  Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN 2013: 209-226
• 
  Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
  Guard-Based Partial-Order Reduction. SPIN 2013: 227-245
• 
  Florian Leitner-Fischer, Stefan Leue:
  On the Synergy of Probabilistic Causality Computation and Causality Checking. SPIN 2013: 246-263
• 
  Stefan Leue, Mitra Tabaei Befrouei:
  Mining Sequential Patterns to Explain Concurrent Counterexamples. SPIN 2013: 264-281
• 
  Nuno P. Lopes, José Monteiro:
  Automatic Equivalence Checking of UF+IA Programs. SPIN 2013: 282-300
• 
  Anthony Romano, Dawson R. Engler:
  Expression Reduction from Programs in a Symbolic Binary Executor. SPIN 2013: 301-319
• 
  Divjyot Sethi, Muralidhar Talupur, Sharad Malik:
  Model Checking Unbounded Concurrent Lists. SPIN 2013: 320-340
• 
  Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
  Property-Driven Benchmark Generation. SPIN 2013: 341-357
• 
  Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
  Error-Completion in Interface Theories. SPIN 2013: 358-375
• 
  Ezio Bartocci, C. R. Ramakrishnan:
  Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 [contents]