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

• 1994
• 
  Rajeev Alur, Limor Fix, Thomas A. Henzinger:
  A Determinizable Class of Timed Automata. CAV 1994: 1-13
• 
  Anuchit Anuchitanukul, Zohar Manna:
  Realizability and Synthesis of Reactive Modules. CAV 1994: 156-168
• 
  Adnan Aziz, Thomas R. Shiple, Vigyan Singhal:
  Formula-Dependent Equivalence for Compositional CTL Model Checking. CAV 1994: 324-337
• 
  Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
  On the Automatic Computation of Network Invariants. CAV 1994: 234-246
• 
  Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli:
  Methodology and System for Practical Formal Verification of Reactive Hardware. CAV 1994: 182-193
• 
  Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper:
  An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155
• 
  Bernard Boigelot, Pierre Wolper:
  Symbolic Verification with Periodic Sets. CAV 1994: 55-67
• 
  Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
  Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
• 
  Jerry R. Burch, David L. Dill:
  Automatic verification of Pipelined Microprocessor Control. CAV 1994: 68-80
• 
  Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi:
  Another Look at LTL Model Checking. CAV 1994: 415-427
• 
  Bernard Cousin, Jean-Michel Hélary:
  Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. CAV 1994: 364-376
• 
  David Cyrluk, Paliath Narendran:
  Ground Temporal Logic: A Logic for Hardware Verification. CAV 1994: 247-259
• 
  Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann:
  Model Checking Using Adaptive State and Data Abstraction. CAV 1994: 455-467
• 
  Daniel Geist, Ilan Beer:
  Efficient Model Checking by Automated Ordering of Transition Relation Partitions. CAV 1994: 299-310
• 
  Roberto Gorrieri, Glauco Siliprandi:
  Real-Time System Verification using P/T Nets. CAV 1994: 14-26
• 
  Susanne Graf:
  Verification of a Distributed Cache Memory by Using Abstractions. CAV 1994: 207-219
• 
  Scott Hazelhurst, Carl-Johan H. Seger:
  Composing Symbolic Trajectory Evaluation Results. CAV 1994: 273-285
• 
  Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton:
  Improving Language Containment Using Fairness Graphs. CAV 1994: 391-403
• 
  Hardi Hungar:
  Model Checking of macro Processes. CAV 1994: 169-181
• 
  Robert P. Kurshan:
  Models Whose Checks Don't Explode. CAV 1994: 222-233
• 
  William K. C. Lam, Robert K. Brayton:
  Criteria for the Simple Path Property in Timed Automata. CAV 1994: 27-40
• 
  Insup Lee, Sanguthevar Rajasekaran:
  A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. CAV 1994: 404-414
• 
  David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero:
  An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV 1994: 338-350
• 
  Zohar Manna:
  Beyond Model Checking. CAV 1994: 220-221
• 
  Jennifer McManis, Pravin Varaiya:
  Suspension Automata: A Decidable Class of Hybrid Automata. CAV 1994: 105-117
• 
  Kenneth L. McMillan:
  Hierarchical Representations of Discrete Functions, with Application to Model Checking. CAV 1994: 41-54
• 
  Milena Mihail, Christos H. Papadimitriou:
  On the Random Walk Method for Protocol Testing. CAV 1994: 132-141
• 
  Vivek G. Naik, A. Prasad Sistla:
  Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV 1994: 194-206
• 
  Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
  Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94
• 
  Doron A. Peled:
  Combining Partial Order Reductions with On-the-fly Model-Checking. CAV 1994: 377-390

skipping 9 more matches