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, ProCoS 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
  16. Bengt Jonsson, Chris Ho-Stuart, Wang Yi
    Pages 418-430
  17. Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Pages 431-454
  18. Peter Kearney, Mark Utting
    Pages 455-475
  19. J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, P. S. Goel
    Pages 476-487
  20. Yassine Lakhneche, Jozef Hooman
    Pages 488-510
  21. Zhiming Liu, Mathai Joseph
    Pages 529-546
  22. Olivier MaffeÏs, Paul Le Guernic
    Pages 547-566
  23. Simin Nadjm-Tehrani, Jan-Erik Strömberg
    Pages 583-604
  24. R. K. Shyamasundar, S. Ramesh
    Pages 621-640
  25. Henny B. Sipma, Zohar Manna
    Pages 641-659
  26. Jens Ulrik SkakkebÆk, Natarajan Shankar
    Pages 660-679
  27. Yu Huiqun, Paritosh K. Pandya, Sun Yongqiang
    Pages 716-737
  28. Yu Xinyao, Wang Ji, Zhou Chaochen, Paritosh K. Pandya
    Pages 738-755
  29. Zheng Yuhua, Zhou Chaochen
    Pages 756-775
  30. Pages 776-787
  31. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods