- 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 (|)
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
- Bernhard Beckert, Sarah Grebing:
Evaluating the Usability of Interactive Verification Systems. COMPARE 2012: 3-17
- Roberto Bruttomesso, Alberto Griggio:
Broadening the Scope of SMT-COMP: the Application Track. COMPARE 2012: 18-27
- Zheng Cheng, Rosemary Monahan, James F. Power:
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31
- Pascal Cuoq, Florent Kirchner, Boris Yakobowski:
Benchmarking Static Analyzers. COMPARE 2012: 32-35
- Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump:
The 2nd Verified Software Competition: Experience Report. COMPARE 2012: 36-49
- Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
On the Organisation of Program Verification Competitions. COMPARE 2012: 50-59
- Florian Merz, Carsten Sinz, Stephan Falke:
Challenges in Comparing Software Verification Tools for C. COMPARE 2012: 60-65
- Leonardo Mendonça de Moura:
Regression Tests and the Inventor's Dilemma. COMPARE 2012: 1
- Olivier Roussel:
Behind the Scene of Solvers Competitions: the "evaluation" Experience. COMPARE 2012: 66-77
- Aaron Stump, Geoff Sutcliffe, Cesare Tinelli:
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. COMPARE 2012: 2
- Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe:
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012 [contents]
loading more results
failed to load more results, please try again later
The full-text search results are provided via , courtesy of AI2.
found ?? matches
- service temporarily not available
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.