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
  16. J. Preu\ig, S. Kowalewski, H. Wong-Toi, T. A. Henzinger
    Pages 228-240
  17. Rachel Cardell-Oliver, Tim Glover
    Pages 251-261
  18. D. Schwier, F. von Henke
    Pages 262-271
  19. Martin FrÄnzle, Karsten Lüth
    Pages 272-281
  20. Gerardo Schneider, Qiwen Xu
    Pages 282-293
  21. Karsten Lüth
    Pages 294-297
  22. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    Pages 298-302
  23. Mario Marrero, Alvaro Suárez, Elena Carrión, Elsa Macías
    Pages 303-306
  24. Dragan Bošnački, Dennis Dams
    Pages 307-310
  25. Josef Tapken, Henning Dierks
    Pages 311-314
  26. Gérard Le Lann
    Pages 315-338

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences