Cantitate/Preț
Produs

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: Lecture Notes in Computer Science, cartea 12863

Editat de Alberto Lluch Lafuente, Anastasia Mavridou
en Limba Engleză Paperback – 10 aug 2021
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32409 lei

Preț vechi: 40512 lei
-20% Nou

Puncte Express: 486

Preț estimativ în valută:
6204 6449$ 5144£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030852474
ISBN-10: 3030852474
Pagini: 249
Ilustrații: XII, 249 p. 23 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.37 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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.