Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1102)
Included in the following conference series:
Conference proceedings info: CAV 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.
Similar content being viewed by others
Keywords
Table of contents (52 papers)
Other volumes
-
Computer Aided Verification
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Editors: Rajeev Alur, Thomas A. Henzinger
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61474-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61474-6Published: 17 July 1996
eBook ISBN: 978-3-540-68599-9Published: 14 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 479
Topics: Logics and Meanings of Programs, Theory of Computation, Computer Hardware, Software Engineering, Mathematical Logic and Formal Languages, Special Purpose and Application-Based Systems