Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 939)
Included in the following conference series:
Conference proceedings info: CAV 1995.
Buy print copy
Tax calculation will be finalised at checkout
About this book
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.
Similar content being viewed by others
Keywords
Table of contents (34 papers)
Other volumes
-
Computer Aided Verification
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
Editors: Pierre Wolper
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60045-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60045-9Published: 21 June 1995
eBook ISBN: 978-3-540-49413-3Published: 07 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 456
Topics: Theory of Computation, Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Electronics and Microelectronics, Instrumentation, Special Purpose and Application-Based Systems
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications