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