Table of contents

  1. Front Matter
  2. Constance Heitmeyer
    Pages 18-26
  3. Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits Vaandrager
    Pages 29-40
  4. Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
    Pages 41-54
  5. Paritosh K. Pandya, Dang Van Hung
    Pages 55-64
  6. Radu Grosu, Thomas Stauner, Manfred Broy
    Pages 75-91
  7. Veloudis S., Nissanke N.
    Pages 103-112
  8. Scott D. Stoller, Fred B. Schneider
    Pages 113-122
  9. Antonio Cau, Chris Czarnecki, Hussein Zedan
    Pages 123-132
  10. David Y. W. Park, Jens U. SkakkebÆk, David L. Dill
    Pages 133-142
  11. Ronald Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
    Pages 143-157
  12. Mannes Poel, Job Zwiers
    Pages 173-185
  13. Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
    Pages 186-197
  14. A. Pnueli, N. Shankar, E. Singerman
    Pages 198-209
  15. Anuj Puri
    Pages 210-227

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Keywords

Fault-Tolerant Systems Formal Verification Model Checking Systems Analysis Temporal Logics logic real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0055330
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65003-4
  • Online ISBN 978-3-540-49792-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book