Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1102)
Conference series link(s): CAV: International Conference on Computer Aided Verification
Conference proceedings info: CAV 1996.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (52 papers)
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.
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
Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications