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).
Other Standard Identifiers 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