↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Cover of 'Formal Methods for Industrial Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect
  3. Altmetric Badge
    Chapter 2 The 4SECURail Case Study on Rigorous Standard Interface Specifications
  4. Altmetric Badge
    Chapter 3 Statistical Model Checking for  $$\textsf {P}$$
  5. Altmetric Badge
    Chapter 4 Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
  6. Altmetric Badge
    Chapter 5 Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
  7. Altmetric Badge
    Chapter 6 Refinement of Systems with an Attacker Focus
  8. Altmetric Badge
    Chapter 7 Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
  9. Altmetric Badge
    Chapter 8 Automated Property-Based Testing from AADL Component Contracts
  10. Altmetric Badge
    Chapter 9 Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints
  11. Altmetric Badge
    Chapter 10 Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input
  12. Altmetric Badge
    Chapter 11 Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking
  13. Altmetric Badge
    Chapter 12 Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors
  14. Altmetric Badge
    Chapter 13 Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in  $$\mu $$ C/OS-II: A Case Study
  15. Altmetric Badge
    Chapter 14 Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

3 X users
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.
Formal Methods for Industrial Critical Systems
Published by
Springer Nature Switzerland, October 2023
DOI 10.1007/978-3-031-43681-9
978-3-03-143680-2, 978-3-03-143681-9

Cimatti, Alessandro, Titolo, Laura

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.