Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12863)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FMICS 2021.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- embedded systems
- field programmable gate array
- formal languages
- formal logic
- formal methods
- FPGA
- fuzzy sets
- model checking
- object-oriented programming
- signal processing
- software architecture
- software design
- software engineering
Table of contents (16 papers)
-
Program Safety and Education
-
(Event-)B Modeling and Validation
-
Tools
Other volumes
-
Formal Methods for Industrial Critical Systems
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Industrial Critical Systems
Book Subtitle: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Editors: Alberto Lluch Lafuente, Anastasia Mavridou
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-85248-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-85247-4Published: 10 August 2021
eBook ISBN: 978-3-030-85248-1Published: 19 August 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 249
Number of Illustrations: 23 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Theory of Computation, Artificial Intelligence