CAV 1993

40 papers

1. A Decision Algorithm for Full Propositional Temporal Logic · Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
2. A Graphical Interval Logic Toolset for Verifying Concurrent Systems · George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith
3. A Mechanically Verified Application for a Mechanically Verified Environment · Matthew Wilding
4. A Modal Logic for Message passing Processes (Extended Abstract) · Matthew Hennessy, Xinxin Liu
5. A Structural Linearization Principle for Processes · Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
6. A Tool for Symbolic Program Verification and Abstration · Susanne Graf, Claire Loiseaux
7. A Verifier and Timing Analyser for Simple Imperative Programs (Abstract) · Michael J. C. Gordon
8. All from One, One for All: on Model Checking Using Representatives · Doron A. Peled
9. Alternating RQ Timed Automata · William K. C. Lam, Robert K. Brayton
10. An Efficient Algorithm for Minimizing Real-time Transition Systems · Mihalis Yannakakis, David Lee
11. An Iterative Approach to Language Containment · Felice Balarin, Alberto L. Sangiovanni-Vincentelli
12. Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems · June-Kyung Rho, Fabio Somenzi
13. BDD-Based Debugging Of Design Using Language Containment and Fair CTL · Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
14. Combining Model Checking and Theorem Proving to Verify Parallel Processes · Hardi Hungar
15. Computer-Assisted Simulation Proofs · Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
16. Computing Accumulated Delays in Real-time Systems · Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
17. Delay Analysis in Synchronous Programs · Nicolas Halbwachs
18. Efficient Verification of Parallel Real-Time Systems · Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
19. Efficient Verification with BDDs using Implicitly Conjoined Invariants · Alan J. Hu, David L. Dill
20. Exploiting Symmetry In Temporal Logic Model Checking · Edmund M. Clarke, Thomas Filkorn, Somesh Jha
21. Functionality Decomposition by Compositional Correstness Preserving Transformation · Ed Brinksma, Rom Langerak, Peter Broekroelofs
22. Generation of Reduced Models for Checking Fragments of CTL · Dennis Dams, Orna Grumberg, Rob Gerth
23. Logic Synthesis and Design Verification · Robert K. Brayton
24. On Model-Checking for Fragments of µ-Calculus · E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
25. On-the-Fly Verification with Stubborn Sets · Antti Valmari
26. Parametric Circuit Representation Using Inductive Boolean Functions · Aarti Gupta, Allan L. Fisher
27. Protocol Design for an Automated Highway System (Abstract) · Pravin Varaiya
28. Reachability Analysis of Planar Multi-limear Systems · Oded Maler, Amir Pnueli
29. Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems · A. S. Krishnakumar
30. Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) · Patrice Godefroid, Didier Pirottin
31. Reliable Hashing without Collosion Detection · Pierre Wolper, Denis Leroy
32. Symbolic Equivalence Checking · Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
33. Symmetry and Model Checking · E. Allen Emerson, A. Prasad Sistla
34. The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model · Patrick Lincoln, John M. Rushby
35. Timed Modal Specification - Theory and Tools · Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
36. Verification of Real-Time Systems Using PVS · Natarajan Shankar
37. Verification of a Multiplier: 64 Bits and Beyond · Robert P. Kurshan, Leslie Lamport
38. Verification of timing Properties of VHDL · Costas Courcoubetis, Werner Damm, Bernhard Josko
39. Verifying Quantitative Real-Time Properties of Synchronous Programs · Martin Jourdan, Florence Maraninchi, Alfredo Olivero
40. Verifying Timed Behavior Automata with Input/Output Critical Races · David K. Probst, Hon Fung Li