Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Formal Methods for Industrial Critical Systems “
Klappentext zu „Formal Methods for Industrial Critical Systems “
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
Inhaltsverzeichnis zu „Formal Methods for Industrial Critical Systems “
Verification.- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.- Automated Verification of Temporal Properties of Ladder Programs.- Spatial Model Checking for Smart Stations: Research Challenges.- Program Safety and Education.- Parametric Faults in Safety Critical Programs.- Modular Transformation of Java Exceptions Modulo Errors.- On education and training in formal methods for industrial critical systems .- (Event-)B Modeling and Validation.- Improving SMT Solver Integrations for the Validation of B and Event-B Models.- Standard Conformance-by-Construction with Event-B.- Formal Analysis.- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems.- Verifying the Mathematical Library of an UAV Autopilot with Frama-C.- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer.- Tools.- ProB2-UI: A Java-based User Interface for ProB.- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker.- Merit and Blame Assignment with Kind 2.- Test Generation and Probabilistic Verification.- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
Bibliographische Angaben
- 2021, 1st ed. 2021, XII, 249 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Alberto Lluch Lafuente, Anastasia Mavridou
- Verlag: Springer, Berlin
- ISBN-10: 3030852474
- ISBN-13: 9783030852474
- Erscheinungsdatum: 27.07.2021
Sprache:
Englisch
Kommentar zu "Formal Methods for Industrial Critical Systems"
0 Gebrauchte Artikel zu „Formal Methods for Industrial Critical Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems".
Kommentar verfassen