Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings

by Robert P. Kurshan, Edmund M. Clarke, Edmund M. Clarke Jr.

This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.

• Format: Paperback
• Language: English
• ISBN: 3540544771
• ISBN13: 9783540544777
• Release Date: October 1991
• Publisher: Springer
• Length: 378 Pages
• Weight: 1.21 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"