Advertisement

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
  16. C. Tofts
    Pages 290-305
  17. Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
    Pages 334-350
  18. Sam Owre, John Rushby, Natarajan Shankar
    Pages 366-383
  19. André Engels, Loe Feijs, Sjouke Mauw
    Pages 384-398
  20. P. R. D'Argenio, J. -P. Katoen, T. C. Ruys, J. Tretmans
    Pages 416-431
  21. Back Matter

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0035375
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62790-6
  • Online ISBN 978-3-540-68519-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site