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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61042-1
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology