Table of contents

  1. Front Matter
  2. Asis Goswami, Michael Bell, Mathai Joseph
    Pages 1-20
  3. Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Pages 21-32
  4. Odile Millet
    Pages 73-86
  5. K. T. Narayana
    Pages 107-129
  6. L. Breveglieri, A. Cherubini, S. Crespi-Reghizzi
    Pages 131-147
  7. Jim Davies, Dave Jackson, Steve Schneider
    Pages 149-169
  8. Rogério de Lemos, Amer Saeed, Tom Anderson
    Pages 171-192
  9. Victor Yodaiken, Krithi Ramamritham
    Pages 193-215
  10. Bernard Delyon, Oded Maler
    Pages 259-269
  11. Padmanabhan Krishnan, Peter D. Mosses
    Pages 291-306
  12. Wil Janssen, Job Zwiers
    Pages 307-326
  13. Reino Kurki-Suonio, Kari Systä, Jüri Vain
    Pages 327-339
  14. John A. Plaice
    Pages 363-374
  15. Frank de Boer, Jozef Hooman
    Pages 451-472
  16. J. C. M. Baeten, J. A. Bergstra
    Pages 473-492
  17. Yolanda Ortega-Mallén
    Pages 507-527
  18. David Murphy, David Pitt
    Pages 529-545
  19. Back Matter

About these proceedings


This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.


formal logic formal method logic real-time semantics system verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55092-1
  • Online ISBN 978-3-540-46692-5
  • 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