Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1217)
Included in the following conference series:
- TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(28 papers)
Other volumes
-
Tools and Algorithms for the Construction and Analysis of Systems
About this book
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Editors: Ed Brinksma
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0035375
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62790-6Published: 20 March 1997
eBook ISBN: 978-3-540-68519-7Published: 10 April 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 437
Topics: Computer Engineering, Theory of Computation, Software Engineering, Logics and Meanings of Programs, Computer Communication Networks