Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Hans Langmaack
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Willem-Paul Roever
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jan Vytopil
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  2. Hybrid verification by exploiting the environment

    • Limor Fix, Fred B. Schneider
    Pages 1-18

  3. Correctness of real time systems by construction

    • Jozef Hooman
    Pages 19-40

  4. Specifying and verifying fault-tolerant systems

    • Leslie Lamport, Stephan Merz
    Pages 41-76

  5. Development of hybrid systems

    • Amir Pnueli
    Pages 77-85

  6. Linear duration invariants

    • Zhou Chaochen, Zhang Jingzhong, Yang Lu, Li Xiaoshan
    Pages 86-109

  7. Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs

    • Anish Arora
    Pages 110-127

  8. A comparison of Statecharts variants

    • Michael von der Beeck
    Pages 128-148

  9. A calculus of stochastic systems

    • Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
    Pages 149-169

  10. Verification of an audio control protocol

    • Doeko Bosscher, Indra Polak, Frits Vaandrager
    Pages 170-192

  11. Verifying invariance properties of timed systems with duration variables

    • Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 193-210

  12. Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets

    • Hanifa Boucheneb, Usthb Alger, Gérard Berthelot
    Pages 211-227

  13. Designing and implementing correct real-time systems

    • Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Pages 228-246

  14. Specification and refinement of finite dataflow networks — a relational approach

    • Manfred Broy, Ketil StØlen
    Pages 247-267

  15. Activation-oriented specification of real-time systems

    • Vered Gafni, Amiram Yehudai, Yishai A. Feldman
    Pages 268-287

  16. Provably Correct Systems

    • Jifeng He, C. A. R. Hoare, Martin FrÄnzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke et al.
    Pages 288-335

  17. Simulation approach to provably correct hardware compilation

    • He Jifeng, Zheng Jianping
    Pages 336-350

  18. Verification methods for the divergent runs of clock systems

    • Thomas A. Henzinger, Peter W. Kopke
    Pages 351-372

  19. Fault-tolerant bisimulation and process transformations

    • Tomasz Janowski
    Pages 373-392

  20. Layering of real-time distributed processes

    • Wil Janssen, Mannes Poel, Job Zwiers, Qiwen Xu
    Pages 393-417
Back to top

Other volumes

  1. Formal Techniques in Real-Time and Fault-Tolerant Systems

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation