Formal Methods for Industrial Critical Systems
Download or Read eBook Formal Methods for Industrial Critical Systems PDF written by Maurice H. ter Beek and published by Springer Nature. This book was released on 2020-08-28 with total page 289 pages. Available in PDF, EPUB and Kindle.
| Author | : Maurice H. ter Beek |
| Publisher | : Springer Nature |
| Total Pages | : 289 |
| Release | : 2020-08-28 |
| ISBN-10 | : 9783030582982 |
| ISBN-13 | : 3030582981 |
| Rating | : 4/5 (82 Downloads) |
Book Synopsis Formal Methods for Industrial Critical Systems by : Maurice H. ter Beek
Book excerpt: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
