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

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

  • Book Title Tools and Algorithms for the Construction and Analysis of Systems
  • Book Subtitle Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • Editors Tiziana Margaria
    Bernhard Steffen
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61042-7
  • eBook ISBN 978-3-540-49874-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIII, 443
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Operating Systems
    Logics and Meanings of Programs
    Software Engineering
    Computer Communication Networks
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking