Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hu, Alan J. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vardi, Moshe Y. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1427
• Subjects: Software engineering.; Computers.; Computer logic.; Mathematical logic.; Logic design.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Logic Design.
• Physical Description: X, 552 p. online resource.
• ISBN: 9783540693390
• ISSN: 0302-9743 ;
• DOI: 10.1007/BFb0028725

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.