Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

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...

Full description

Saved in:
Bibliographic Details
Main Authors International Conference on Formal Methods for Industrial Critical Systems, Lafuente, Alberto Lluch, Mavridou, Anastasia
Format eBook Book
LanguageEnglish
Published Cham Springer Nature 2021
Springer
Springer International Publishing AG
Springer International Publishing
Edition1
SeriesLecture Notes in Computer Science
Subjects
Computer programming, programs, data
Computer programs > Verification > Congresses
Formal methods (Computer science) > Congresses
Software engineering > Congresses
Online AccessGet full text

Cover

More Information
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.
Bibliography:"The symposium was originally planned to be held physically in Paris, France. However, due to the COVID-19 pandemic and the associated travel restrictions, the conference was shifted to be completely online."--Pref
Includes bibliographical references and index
ISBN:3030852482
9783030852481
3030852474
9783030852474