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

• 2012
• 
  Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner:
  Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 1, EasyChair 2012 [contents]
• 2010
• 
  Bahareh Badban, Stefan Leue, Jan-Georg Smaus:
  Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR 2010: 44-58
• 
  Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn:
  Invariants and Robustness of BIP Models. WING@ETAPS/IJCAR 2010: 59-74
• 
  Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar:
  Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR 2010: 75
• 
  Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
  Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91
• 
  Michael Franssen:
  Cocktail II. WING@ETAPS/IJCAR 2010: 92-93
• 
  Stéphane Gaubert, Ricardo Katz, Sergei Sergeev:
  Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR 2010: 94-110
• 
  Thomas Martin Gawlitza, Helmut Seidl:
  Abstract Interpretation over Zones without Widening. WING@ETAPS/IJCAR 2010: 12-43
• 
  Gudmund Grov, Andrew Ireland:
  Towards Automated Property Discovery within Hume. WING@ETAPS/IJCAR 2010: 111-127
• 
  Igor Konnov:
  CheAPS: a Checker of Asynchronous Parameterized Systems. WING@ETAPS/IJCAR 2010: 128-129
• 
  Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
  Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131
• 
  Matthias Kuntz, Stefan Leue, Christoph Scheben:
  Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR 2010: 132-147
• 
  Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert:
  Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR 2010: 148-149
• 
  Alexei Lisitsa:
  Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. WING@ETAPS/IJCAR 2010: 150-151
• 
  Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili:
  A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR 2010: 152-166
• 
  Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey:
  Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR 2010: 167-182
• 
  Ewen Maclean, Andrew Ireland, Gudmund Grov:
  Synthesising Functional Invariants in Separation Logic. WING@ETAPS/IJCAR 2010: 183-184
• 
  Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
  Applications and Challenges in Satisfiability Modulo Theories. WING@ETAPS/IJCAR 2010: 1-11
• 
  Moritz Sinn, Florian Zuleger:
  LOOPUS - A Tool for Computing Loop Bounds for C Programs. WING@ETAPS/IJCAR 2010: 185-186
• 
  Angela Wallenburg:
  Generalisation of Induction Formulae based on Proving by Symbolic Execution. WING@ETAPS/IJCAR 2010: 187-203