FMICS 2023

28th International Conference on Formal Methods for Industrial Critical Systems

[FMICS 2023 @FMICS_conf]

The Proceedings of FMICS2024 are online:
https://t.co/ZDVLcK5f5q

[FMICS 2023 @FMICS_conf]

The programme of FMICS 2024 is online:
https://t.co/ePldJIpFE8

[FMICS 2023 @FMICS_conf]

Two invited speakers at FMICS 2024:
Byron Cook (AMAZON)
Thierry Lecomte (CLEARSY)

[FMICS 2023 @FMICS_conf]

Deadline extension for FMICS 2024:
abstracts: May 4th
full papers: May 8

[FMICS 2023 @FMICS_conf]

The call for papers for FMICS 2024 is published: https://t.co/EaAXqwMhBs

[Davide Basile @davidebasile]

presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at @FMICS_conf

https://t.co/QdDZC7nOj1

https://t.co/KsMdXyqADN

[FMT Lab ISTI CNR @fmt_lab]

Alessandro presenting the paper entitled "The 4SECURail Case Study on Rigorous Standard Interface Specifications" at @FMICS_conf

https://t.co/QEWwacEPXI

[Laura Titolo @laura_titolo]

CONFEST social dinner @FMICS_conf

[FMICS 2023 @FMICS_conf]

@FMICS_conf is over! Thanks to all the participants, authors, keynote speakers, PC members, and chairs!
See you next year!

[FMICS 2023 @FMICS_conf]

Alessandro Fantechi presenting his paper on the 4SECURail case study

[FMICS 2023 @FMICS_conf]

@FMICS_conf Best paper award:

Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

[FMICS 2023 @FMICS_conf]

Imran Riaz Hasrat presenting his paper Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

[FMICS 2023 @FMICS_conf]

Davide Basile presenting his work on formal verification in the railway industry

[FMICS 2023 @FMICS_conf]

Fantastic keynote talk by Anna Slobodova from Intel on formal verification of microprocessors

[FMICS 2023 @FMICS_conf]

Aziz Sfar presenting his work on Testing Logical Diagrams in power plants at @fmics2023

[FMICS 2023 @FMICS_conf]

Nicolás Poza presenting his work on Statistical Model Checking for P at @FMICS_conf

[FMICS 2023 @FMICS_conf]

Great talk by Reza Soltani on Optimal spare management via statistical model checking at @FMICS_conf

[FMICS 2023 @FMICS_conf]

Chris Johannsen presenting his work on encoding temporal specifications at @FMICS_conf

[FMT Lab ISTI CNR @fmt_lab]

@FMICS_conf day 2 Alessandro is chairing the session

[FMICS 2023 @FMICS_conf]

We have stared the day with a great invited talk by Jaco Van De Pol on how to use SAT and QBF solvers for encoding planning problems and games