Table of contents

  1. Front Matter
  2. Rolf Drechsler, Bernd Becker, Stefan Ruppertz
    Pages 4-18
  3. E. Allen Emerson, Somesh Jha, Doron Peled
    Pages 19-34
  4. Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
    Pages 35-49
  5. Atanas N. Parashkevov, Jay Yantchev
    Pages 50-64
  6. Bernd Grahlmann
    Pages 65-80
  7. Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
    Pages 96-111
  8. M. von der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki et al.
    Pages 112-129
  9. Peter H. Schmitt, Jean Goubault-Larrecq
    Pages 130-144
  10. Wojciech Penczek
    Pages 145-164
  11. Jean-François Raskin, Pierre-Yves Schobbens
    Pages 165-182
  12. Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
    Pages 183-202
  13. Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
    Pages 209-223
  14. Jean-Pierre Krimm, Laurent Mounier
    Pages 239-258
  15. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
    Pages 275-289

About these proceedings


This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.


Algorithms Modellprüfung Systemanalyse Tools algorithm model checking software development systems analysis systems design theorem proving tool verification

Bibliographic information

Industry Sectors
IT & Software