Table of contents

  1. Front Matter
  2. Gerard J. Holzmann
    Pages 1-13
  3. Leslie Lamport
    Pages 34-34
  4. Rajeev Alur, Gerard J. Holzmann, Doron Peled
    Pages 35-48
  5. Rudolf Berghammer, Burghard von Karger, Christiane Ulke
    Pages 49-69
  6. Craig A. Damon, Daniel Jackson
    Pages 70-86
  7. Javier Esparza, Stefan Römer, Walter Vogler
    Pages 87-106
  8. Girish Bhat, Rance Cleaveland
    Pages 107-126
  9. FranÇois Michel, Pierre Azéma, FranÇois Vernadat
    Pages 187-206
  10. Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
    Pages 278-297
  11. Colin Stirling
    Pages 298-312
  12. Abdelwaheb Ayari, David A. Basin
    Pages 313-328
  13. Stavros Tripakis, Costas Courcoubetis
    Pages 329-348
  14. Elie Najm, Frank Olsen
    Pages 349-368
  15. Louise E. Moser, P. M. Melliar-Smith
    Pages 369-390
  16. Ranee Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    Pages 391-395
  17. Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone
    Pages 396-396
  18. Bernd Grahlmann, Eike Best
    Pages 397-401
  19. Jorge Cuéllar, Dieter Barnard, Martin Huber
    Pages 402-406
  20. Carsten Heyl, Arnulf Mester, Heiko Krumm
    Pages 407-411
  21. Bernhard Steffen, Tiziana Margaria, Andreas Cla\en, Volker Braun, Rita Nisius, Manfred Reitenspie\
    Pages 418-421
  22. Marion Klein, Dirk Koschützki, Jens Knoop, Bernhard Steffen
    Pages 422-426
  23. Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
    Pages 427-430
  24. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Pages 431-434
  25. Back Matter

About these proceedings


This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.


Analysis Concurrent Systems Real-Time Systems Systems Specification Systems Verification Systemspezifikation Verteilte Systeme algorithm algorithms distributed systems logic model checking

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61042-7
  • Online ISBN 978-3-540-49874-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site