↓ Skip to main content

Formal Techniques for Safety-Critical Systems

Overview of attention for book
Cover of 'Formal Techniques for Safety-Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
  3. Altmetric Badge
    Chapter 2 With an Open Mind: How to Write Good Models
  4. Altmetric Badge
    Chapter 3 Model-Based Testing from Controlled Natural Language Requirements
  5. Altmetric Badge
    Chapter 4 An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
  6. Altmetric Badge
    Chapter 5 Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking
  7. Altmetric Badge
    Chapter 6 A Strand Space Approach to Provable Anonymity
  8. Altmetric Badge
    Chapter 7 Counterexample Generation for Hybrid Automata
  9. Altmetric Badge
    Chapter 8 TTM/PAT: Specifying and Verifying Timed Transition Models
  10. Altmetric Badge
    Chapter 9 Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
  11. Altmetric Badge
    Chapter 10 Reflections on Verifying Software with Whiley
  12. Altmetric Badge
    Chapter 11 Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events
  13. Altmetric Badge
    Chapter 12 Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude
  14. Altmetric Badge
    Chapter 13 On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings
  15. Altmetric Badge
    Chapter 14 Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
  16. Altmetric Badge
    Chapter 15 Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
  17. Altmetric Badge
    Chapter 16 Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling
  18. Altmetric Badge
    Chapter 17 Precise Documentation and Validation of Requirements
  19. Altmetric Badge
    Chapter 18 Certainly Unsupervisable States
Attention for Chapter 1: Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
Chapter number 1
Book title
Formal Techniques for Safety-Critical Systems
Published by
Springer, Cham, October 2013
DOI 10.1007/978-3-319-05416-2_1
Book ISBNs
978-3-31-905415-5, 978-3-31-905416-2
Authors

Ian J. Hayes, Hayes, Ian J.