Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

  • Editors
  • Hans Langmaack
  • Willem-Paul de Roever
  • Jan Vytopil
Conference proceedings FTRTFT 1994

Part of the Lecture Notes in Computer Science book series (LNCS, volume 863)

Table of contents

  1. Front Matter
  2. Limor Fix, Fred B. Schneider
    Pages 1-18
  3. Leslie Lamport, Stephan Merz
    Pages 41-76
  4. Amir Pnueli
    Pages 77-85
  5. Zhou Chaochen, Zhang Jingzhong, Yang Lu, Li Xiaoshan
    Pages 86-109
  6. Michael von der Beeck
    Pages 128-148
  7. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
    Pages 149-169
  8. Doeko Bosscher, Indra Polak, Frits Vaandrager
    Pages 170-192
  9. Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 193-210
  10. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Pages 228-246
  11. Vered Gafni, Amiram Yehudai, Yishai A. Feldman
    Pages 268-287
  12. Jifeng He, C. A. R. Hoare, Martin FrÄnzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke et al.
    Pages 288-335
  13. He Jifeng, Zheng Jianping
    Pages 336-350
  14. Thomas A. Henzinger, Peter W. Kopke
    Pages 351-372
  15. Wil Janssen, Mannes Poel, Job Zwiers, Qiwen Xu
    Pages 393-417

About these proceedings


This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.


Echt-Zeit-Systeme Erfüllbarkeitsproblem der Aussagenlogik Fault- Tolerant Systems Fehlertolerierende Systeme Formal Methods Formale Methoden Hybrid Systems Scheduling Sicherheitsrelevante Systeme System Variable automata configuration logic processor

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58468-1
  • Online ISBN 978-3-540-48984-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book