Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This volume contains the proceedings of the Fifth Conference
on Computer-Aided Verfication, held in Crete, Greece, in
June/July 1993.
The objective of the CAV conferences is to bring together
researchers and practitioners interested in the development
anduse of methods, tools, and theories for the
computer-aided verification of concurrent systems. The
conferences provide an opportunity for comparing various
verfication methods and tools that can be used to assist the
applications designer. Emphasis is placed on new research
results and the application of existing methods to real
verification problems.
The volume contains abstracts of three invited lectures and
full versions of 37 contributed papers selected from 84
submissions.The contributions are grouped into sections on
hardware verification with BDDs, methods and tools, theorem
proving, analysis of real-time systems, processalgebras and
calculi, partial orders, and exploiting symmetry.
Similar content being viewed by others
Keywords
Table of contents (40 papers)
-
Front Matter
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
Editors: Costas Courcoubetis
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-56922-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-56922-0Published: 16 June 1993
eBook ISBN: 978-3-540-47787-7Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 510
Topics: Theory of Computation, Logics and Meanings of Programs, Electronics and Microelectronics, Instrumentation, Software Engineering, Mathematical Logic and Foundations