Lecture Notes in Computer Science: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Lluch Lafuente, Alberto; Mavridou, Anastasia

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.

Details

Published by: Springer

Publication Date: 2021-08-10

Format: Paperback

ISBN-13: 9783030852474

DOI: 10.1007/978-3-030-85248-1

Dimensions: 235cm x155cm

Pages: 249