Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event....
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2020, 2020
|
| Edition: | 1st ed. 2020 |
| Series: | Programming and Software Engineering
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- FMICS 25th Anniversary
- The 2020 Expert Survey on Formal Methods
- Quantitative Analysis and Cyber-Physical Systems
- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents
- Skylines for Symbolic Energy Consumption Analysis
- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers
- An Actor-based Approach for Security Analysis of Cyber-Physical Systems
- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture
- A Formally Veri ed Plasma Vertical Position Control Algorithm
- The First Twenty-Five Years of Industrial Use of the B-Method
- A Safety Flasher Developed with the CLEARSY Safety Platform
- Temporal Logic and Model checking
- Formal Verification of OIL Component Specifications Using mCRL2
- Temporal-Logic Query Checking over Finite Data Streams
- Verification of a Failure Management Protocol for Stateful IoT Applications