5. CAV 1993: Elounda, Greece
Costas Courcoubetis (Ed.):
Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings.
Lecture Notes in Computer Science 697 Springer 1993, ISBN 3-540-56922-7 BibTeX
@proceedings{DBLP:conf/cav/1993,
editor = {Costas Courcoubetis},
title = {Computer Aided Verification, 5th International Conference, CAV
'93, Elounda, Greece, June 28 - July 1, 1993, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {697},
year = {1993},
isbn = {3-540-56922-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lecture
Session 1:
hardware Verification with BDDs
Session 2:
Methods and Tools
- Pierre Wolper, Denis Leroy:
Reliable Hashing without Collosion Detection.
59-70 BibTeX
- Susanne Graf, Claire Loiseaux:
A Tool for Symbolic Program Verification and Abstration.
71-84 BibTeX
- Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier:
Symbolic Equivalence Checking.
85-96 BibTeX
- Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli:
A Decision Algorithm for Full Propositional Temporal Logic.
97-109 BibTeX
- A. S. Krishnakumar:
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems.
110-122 BibTeX
- June-Kyung Rho, Fabio Somenzi:
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.
123-137 BibTeX
- G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith:
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
138-153 BibTeX
Session 3:
Theorem Proving 1
Session 4: Analysis of Real-Time Systems 1
Session 5:
Theorem Proving 2
Invited Lecture
Session 6:
Analysis of Real-Time Systems 2
- Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke:
Efficient Verification of Parallel Real-Time Systems.
321-346 BibTeX
- Nicolas Halbwachs:
Delay Analysis in Synchronous Programs.
333-346 BibTeX
- M. Jourdan, Florence Maraninchi, Alfredo Olivero:
Verifying Quantitative Real-Time Properties of Synchronous Programs.
347-358 BibTeX
- Matthew Hennessy, Xinxin Liu:
A Modal Logic for Message passing Processes (Extended Abstract).
359-370 BibTeX
- Ed Brinksma, Rom Langerak, Peter Broekroelofs:
Functionality Decomposition by Compositional Correstness Preserving Transformation.
371-384 BibTeX
- E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus.
385-396 BibTeX
Session 8:
Partial Orders
Session 9:
Exploiting Symmetry
Copyright © Sat May 16 23:00:36 2009
by Michael Ley (ley@uni-trier.de)
