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

• 2015
• 
  Tim Lange, Martin R. Neuhäußer, Thomas Noll:
  IC3 Software Model Checking on Control Flow Automata. FMCAD 2015: 97-104
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu:
  Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD 2015: 9-16
• 
  Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal:
  Compositional Reasoning Gotchas in Practice. FMCAD 2015: 17-24
• 
  Jesse Bingham:
  Universal Boolean Functional Vectors. FMCAD 2015: 25-32
• 
  Roderick Bloem:
  Reactive Synthesis. FMCAD 2015: 3
• 
  Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
  Compositional Safety Verification with Max-SMT. FMCAD 2015: 33-40
• 
  Dmitry Burlyaev, Pascal Fradet:
  Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD 2015: 41-48
• 
  Isil Dillig:
  Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis. FMCAD 2015: 4
• 
  Allan Emerson:
  The Genesis and Development of Model Checking: Fact vs. Fiction. FMCAD 2015: 7
• 
  Javier Esparza, Philipp J. Meyer:
  An SMT-based Approach to Fair Termination Analysis. FMCAD 2015: 49-56
• 
  Azadeh Farzan, Zachary Kincaid:
  Compositional Recurrence Analysis. FMCAD 2015: 57-64
• 
  Arie Gurfinkel, Alexander Ivrii:
  Pushing to the Top. FMCAD 2015: 65-72
• 
  Ziyad Hanna:
  Democratization of Formal Verification with Collective Intelligence. FMCAD 2015: 5
• 
  Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
  Skolem Functions for Factored Formulas. FMCAD 2015: 73-80
• 
  Priyank Kalla:
  Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. FMCAD 2015: 2
• 
  Guy Katz, Clark W. Barrett, David Harel:
  Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD 2015: 81-88
• 
  Anvesh Komuravelli, Nikolaj S. Bjørner, Arie Gurfinkel, Kenneth L. McMillan:
  Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. FMCAD 2015: 89-96
• 
  Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas:
  Accelerating Invariant Generation. FMCAD 2015: 105-111
• 
  Sharad Malik:
  Detecting Hardware Trojans: A Tale of Two Techniques. FMCAD 2015: 6
• 
  Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier:
  Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD 2015: 112-119
• 
  Yuri Meshman, Noam Rinetzky, Eran Yahav:
  Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD 2015: 120-127
• 
  André Platzer:
  Proving Hybrid Systems. FMCAD 2015: 1
• 
  Mathias Preiner, Aina Niemetz, Armin Biere:
  Better Lemmas with Lambda Extraction. FMCAD 2015: 128-135
• 
  Markus N. Rabe, Leander Tentrup:
  CAQE: A Certifying QBF Solver. FMCAD 2015: 136-143
• 
  Moritz Sinn, Florian Zuleger, Helmut Veith:
  Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. FMCAD 2015: 144-151
• 
  Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton:
  Simulation Graphs for Reverse Engineering. FMCAD 2015: 152-159
• 
  Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik:
  Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. FMCAD 2015: 160-167
• 
  Murali Talupur, Sandip Ray, John Erickson:
  Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. FMCAD 2015: 168-175
• 
  Georg Weissenbacher:
  The FMCAD 2015 Graduate Student Forum. FMCAD 2015: 8
• 
  Roope Kaivola, Thomas Wahl:
  Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. IEEE 2015, ISBN 978-1-5090-4151-0 [contents]