Uffe H. Engberg
Kim G. Larsen
Arne Skou (editors)
Copies of the Proceedings and individual papers in A4 format are WWW accessible.
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.
->1Mb) compressed all-embracing PostScript file, or
->.7Mb) compressed directory, TACAS.tar.gz, with an all-embracing DVI file together with the included PostScript files (to get it, Load to Local Disk under the name
TACAS.tar.gzand issue the command:
zcat TACAS.tar.gz | tar xvf -).