Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1019)
Included in the following conference series:
- TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 1995.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.
Similar content being viewed by others
Keywords
Table of contents (13 papers)
Other volumes
-
Tools and Algorithms for the Construction and Analysis of Systems
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Editors: E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60630-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60630-7Published: 23 November 1995
eBook ISBN: 978-3-540-48509-4Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 298
Topics: Computer Engineering, Operating Systems, Theory of Computation, Logics and Meanings of Programs, Software Engineering, Computer Communication Networks