Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings / Jan Friso Groote, Marieke Huisman (eds.).
International Workshop on Formal Methods for Industrial Critical Systems (27th : 2022 : Warsaw, Poland); Groote, J. F. (Jan Friso), 1965- editor.; Huisman, Marieke, editor.
2022
QA76.9.F67
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 : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings / Jan Friso Groote, Marieke Huisman (eds.).
Meeting Name
International Workshop on Formal Methods for Industrial Critical Systems (27th : 2022 : Warsaw, Poland)
ISBN
9783031150081 (electronic bk.)
3031150082 (electronic bk.)
9783031150074
3031150074
DOI
https://doi.org/10.1007/978-3-031-15008-1
Published
Cham : Springer, [2022]
Copyright
©2022
Language
English
Description
1 online resource (x, 245 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-15008-1 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Note
Selected conference papers.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Groote, J. F. (Jan Friso), 1965- editor.
Huisman, Marieke, editor.
Series
Lecture notes in computer science ; 13487.
Available in Other Form
Formal methods for industrial critical systems.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Invited Keynote Talks
Reinforcement Learning with Guarantees That Hold for Ever
Supporting Railway Innovations with Formal Modelling and Verification
Certification
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An asset for certification
Generating Domain-specific Interactive Validation Documents
Deductive Verification of Smart Contracts with Dafny
Industrial use cases
Towards Reusable Formal Models for Custom Real-time Operating Systems
Formal verification of an industrial UML-like model using mCRL2
Chemical Case Studies in KeYmaera X
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Testing and monitoring
Test Suite Augmentation for Recon gurable PLC Software in the Internet of Production
Monitoring of Spatio-Temporal Properties with nonlinear SAT solvers
Model-Based Testing of Internet of Things Protocols
Methodology
Formally Verifying Decompositions of Stochastic Specifications
Verification of Behavior Trees using Linear Constrained Horn Clauses
A Multi-level Methodology for Behavioral Comparison of SoftwareIntensive Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export