Formal Methods for Industrial Critical Systems

Chapter 1 Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect

Chapter 2 The 4SECURail Case Study on Rigorous Standard Interface Specifications

Chapter 3 Statistical Model Checking for  $$\textsf {P}$$

Chapter 4 Pattern-Based Verification of ROS 2 Nodes Using UPPAAL

Chapter 5 Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers

Chapter 6 Refinement of Systems with an Attacker Focus

Chapter 7 Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

Chapter 8 Automated Property-Based Testing from AADL Component Contracts

Chapter 9 Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints

Chapter 10 Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input

Chapter 11 Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

Chapter 13 Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in  $$\mu $$ C/OS-II: A Case Study

Chapter 14 Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller