Co-located with Formal Methods (FM) 2024 in Milan, 9-11 September 2024
The Formal Methods for Industrial Critical Systems (FMICS) conference series offers a platform for researchers and practitioners focused on the development and application of formal methods in industry. FMICS brngs together scientists and engineers to share their experiences in industrial applications of formal methods. Additionally, the conference promotes research and development to enhance formal methods and tools for industrial use.
The invited speakers are Byron Cook from University College London and Amazon Web Services, who will present “The Business of Proof” and Thierry Lecomte from CLEARSY, who will discuss “B+ or How to Model System Properties in a Formal Software Model”.
The conference features 14 selected papers, related to the following topics:
- Case studies and experience reports on industrial applications of formal methods;
- Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile, and autonomous systems;
- Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability;
- Transfer to industry and impact of adoption of formal methods on the development process and associated costs in industry.
- Application of formal methods in standardisation and industrial forums.
More information:
https://fmics.inria.fr/2024/
https://www.fm24.polimi.it/