|
Proceedings of the Workshop on
Tools and Algorithms for the Construction and Analysis of Systems (Aarhus, Denmark, 19-20 May, 1995) Uffe H. Engberg
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.
You can have a look at all the papers through
|