[L2] ================================================ AMAST Links 02 06

                       Proceedings of TACAS '95
             the Workshop on Tools and Algorithms for the
                 Construction and Analysis of Systems
        Uffe H. Engberg, Kim G. Larsen and Arne Skou (editors)

   *Update* of information in [AL0103CB].

  The aim of the workshop on Tools and Algorithms for the Construction
and Analysis of Systems, TACAS, was 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
was 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.

  Copies of the Proceedings and of individual papers in A4 format  
are _electronically accessible_ through WWW at
URL: http://www.brics.aau.dk/BRICS/NS/95/2/BRICS-NS-95-2/