↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 2: The 4SECURail Case Study on Rigorous Standard Interface Specifications
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X
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
The 4SECURail Case Study on Rigorous Standard Interface Specifications
Chapter number 2
Book title
Formal Methods for Industrial Critical Systems
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-43681-9_2
Book ISBNs
978-3-03-143680-2, 978-3-03-143681-9
Authors

Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.