Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

The proceedings cover a significant gathering of experts in the domain of formal methods applied to industrial critical systems, showcasing research and advancements discussed at the 25th International Conference held in Vienna. Researchers, practitioners, and academics came together to share their insights and innovations, pushing the boundaries of how formal methods can enhance the safety, reliability, and efficiency of critical systems in various industries.

Included are a variety of papers that delve into the theoretical underpinnings, application challenges, and cutting-edge methodologies relevant to formal methods. The contributions reflect the diverse landscape of the field, addressing topics such as verification, model checking, and automated reasoning.

With a focus on real-world applications, the proceedings not only highlight the importance of formal methods in enhancing system integrity but also encourage future research directions. This volume serves as a valuable resource for anyone interested in the intersection of formal methods and industrial practices, portraying an evolving narrative in the realm of critical system development.