Overview
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
- | Author: David L. Dill
- | Publisher: Springer
- | Publication Date: Jun 01, 1994
- | Number of Pages: 486 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540581790
- | ISBN-13: 9783540581796
