Name: Joined CTTB ICF and RAWG Seminar | Formal Verification of PIC PLC Program
Start: 2026-08-20T11:00:00+02:00
End: 2026-08-20T12:00:00+02:00
Location: CERN

Joined CTTB ICF and RAWG Seminar | Formal Verification of PIC PLC Program

Thursday, 20 August 2026 - 11:00
CERN (774/1-079)

: Sessions

: Talks

: Breaks

20 Aug 2026

11:00	Introduction to PIC - Alain Antoine (CERN) Jesus Cortes (CERN)
11:20	Formal verification of the PIC PLC program - Borja Fernandez Adiego (CERN) Mohammad Massi Rashidi (EPFL - Ecole Polytechnique Federale Lausanne (CH))
11:50	Q&A - Lukas Felsberger (CERN) Jean-Charles Tournier (CERN)