Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, Bc, Canada, June 28-July 2, 1998, Proceedings 1998 Edition Contributor(s): Hu, Alan J. (Editor), Vardi, Moshe y. (Editor) |
|
ISBN: 3540646086 ISBN-13: 9783540646082 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: June 1998 |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Software Development & Engineering - General - Mathematics | Logic |
Dewey: 004.24 |
LCCN: 98048449 |
Series: Lecture Notes in Computer Science, |
Physical Information: 1.15" H x 6.14" W x 9.21" (1.73 lbs) 552 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice. |