TY  - GEN
AB  - 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.
AU  - Lluch Lafuente, Alberto,
AU  - Mavridou, Anastasia,
CN  - QA76.9.F67
DO  - 10.1007/978-3-030-85248-1
DO  - doi
ID  - 1439079
KW  - Formal methods (Computer science)
KW  - Software engineering
KW  - Computer programs
KW  - Computer programs
KW  - Computer software
KW  - Computer software
KW  - Méthodes formelles (Informatique)
KW  - Génie logiciel
KW  - Logiciels
KW  - Logiciels
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85248-1
N1  - International conference proceedings.
N1  - Includes author index.
N2  - 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.
SN  - 9783030852481
SN  - 3030852482
T1  - Formal methods for industrial critical systems :26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
TI  - Formal methods for industrial critical systems :26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85248-1
VL  - 12863
ER  -