Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Aarhus, Denmark, 19-20 May, 1995)

Uffe H. Engberg
Kim G. Larsen
Arne Skou (editors)

May 1995

Copies of the Proceedings and individual papers in A4 format are WWW accessible.

Abstract:

The aim of the workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, is to bring together researchers and practitioners interested in the development and application of tools and algorithms for specification, verification, analysis and construction of distributed systems. The overall goal of the workshop is to compare the various methods and the degree to which they are supported by interacting or fully automatic tools.

The 23 papers of the proceedings cover the following topics: refinement-based verification and construction techniques; compositional verification methodologies; analysis and verification via theorem-proving; decision procedures for verification and analysis; specification formalisms, including process algebras and temporal and modal logics; analysis techniques for real-time and/or probabilistic systems; approaches for value-passing systems, tool sets for verification and analysis case studies. There were special sessions for demonstration of verification tools.

WWW Access to the TACAS Proceedings

  You can have a look at all the papers through

[BRICS symbol] BRICS WWW home page