Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / Alberto Lluch Lafuente, Anastasia Mavridou (eds.)
International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online); Lluch Lafuente, Alberto, editor.; Mavridou, Anastasia, editor.
2021
QA76.9.F67 I58 2021
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / Alberto Lluch Lafuente, Anastasia Mavridou (eds.)
Meeting Name International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online)
ISBN 9783030852481 (electronic bk.)
3030852482 (electronic bk.)
9783030852474
3030852474
DOI https://doi.org/10.1007/978-3-030-85248-1
Published Cham : Springer, [2021]
Copyright ©2021
Language English
Description 1 online resource : illustrations
Item Number 10.1007/978-3-030-85248-1 doi
Call Number QA76.9.F67 I58 2021
Dewey Decimal Classification 004.01/51
Summary 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed August 26, 2021).
Added Author Lluch Lafuente, Alberto, editor.
Mavridou, Anastasia, editor.
Series Lecture notes in computer science ; 12863.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export