4. CAV 1992: Montreal, Canada
Gregor von Bochmann, David K. Probst (Eds.):
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings.
Lecture Notes in Computer Science 663 Springer 1993, ISBN 3-540-56496-9 
Invited Lecture
- Leslie Lamport:
Computer-Hindered Verification (Humans Can Do It Too).
1
Session:
Reduction Techniques 1
Session:
Proof Checking
Session:
Symbolic Verification 1
Session:
Timing Verification 1
Session:
Partial-Order Approaches
Session:
Case Studies
Session:
Reduction Techniques 2
Session:
Timing Verification 2
Session:
Model and Proof Checking
Session:
Other Approaches
Session:
Symbolic Verification 2
Last update Tue May 22 23:23:21 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
