CAV 1994

38 papers

1. A Determinizable Class of Timed Automata · Rajeev Alur, Limor Fix, Thomas A. Henzinger
2. A Hybrid Model for Reasoning about Composed Hardware Systems · E. Thomas Schubert
3. A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation · Insup Lee, Sanguthevar Rajasekaran
4. An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) · Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
5. An Improved Algorithm for the Evaluation of Fixpoint Expressions · David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
6. Another Look at LTL Model Checking · Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi
7. Automatic Verification of Timed Circuits · Tomas Rokicki, Chris J. Myers
8. Automatic verification of Pipelined Microprocessor Control · Jerry R. Burch, David L. Dill
9. Beyond Model Checking · Zohar Manna
10. Combining Partial Order Reductions with On-the-fly Model-Checking · Doron A. Peled
11. Composing Symbolic Trajectory Evaluation Results · Scott Hazelhurst, Carl-Johan H. Seger
12. Compositional Semantics of ESTEREL and Verification by Compositional Reductions · Robert de Simone, Annie Ressouche
13. Criteria for the Simple Path Property in Timed Automata · William K. C. Lam, Robert K. Brayton
14. Decidability of Hybrid Systems with Rectangular Differential Inclusion · Anuj Puri, Pravin Varaiya
15. Efficient Model Checking by Automated Ordering of Transition Relation Partitions · Daniel Geist, Ilan Beer
16. Formula-Dependent Equivalence for Compositional CTL Model Checking · Adnan Aziz, Thomas R. Shiple, Vigyan Singhal
17. Ground Temporal Logic: A Logic for Hardware Verification · David Cyrluk, Paliath Narendran
18. Hierarchical Representations of Discrete Functions, with Application to Model Checking · Kenneth L. McMillan
19. Improving Language Containment Using Fairness Graphs · Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton
20. Incremental Model Checking in the Modal Mu-Calculus · Oleg Sokolsky, Scott A. Smolka
21. Methodology and System for Practical Formal Verification of Reactive Hardware · Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
22. Model Checking Using Adaptive State and Data Abstraction · Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
23. Model Checking of macro Processes · Hardi Hungar
24. Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking · Vivek G. Naik, A. Prasad Sistla
25. Models Whose Checks Don't Explode · Robert P. Kurshan
26. On the Automatic Computation of Network Invariants · Felice Balarin, Alberto L. Sangiovanni-Vincentelli
27. On the Random Walk Method for Protocol Testing · Milena Mihail, Christos H. Papadimitriou
28. Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions · Bernard Cousin, Jean-Michel Hélary
29. Real-Time System Verification using P/T Nets · Roberto Gorrieri, Glauco Siliprandi
30. Realizability and Synthesis of Reactive Modules · Anuchit Anuchitanukul, Zohar Manna
31. Suspension Automata: A Decidable Class of Hybrid Automata · Jennifer McManis, Pravin Varaiya
32. Symbolic Verification with Periodic Sets · Bernard Boigelot, Pierre Wolper
33. The Completeness of a Hardware Inference System · Zheng Zhu, Carl-Johan H. Seger
34. The Mobility Workbench - A Tool for the pi-Calculus · Björn Victor, Faron Moller
35. The Verifiacation Problem for Safe Replaceability · Vigyan Singhal, Carl Pixley
36. Using Abstractions for the Verification of Linear Hybrid Systems · Alfredo Olivero, Joseph Sifakis, Sergio Yovine
37. Verification of Context-Free Timed Systems Using Linear Hybrid Observers · Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
38. Verification of a Distributed Cache Memory by Using Abstractions · Susanne Graf