Electronics-forum #16 joint with Formal Methods Interest Group: Formal Verification of Gateware
Thursday 3 April 2025 -
10:30
Monday 31 March 2025
Tuesday 1 April 2025
Wednesday 2 April 2025
Thursday 3 April 2025
10:30
Introduction
-
Borja Fernandez Adiego
(
CERN
)
Mathieu Saccani
(
CERN
)
Evangelia Gousiou
(
CERN
)
Hamza Boukabache
(
CERN
)
Introduction
Borja Fernandez Adiego
(
CERN
)
Mathieu Saccani
(
CERN
)
Evangelia Gousiou
(
CERN
)
Hamza Boukabache
(
CERN
)
10:30 - 10:40
Joint Forum with the 'Formal Methods Interest Group' - formal-methods-interest-group@cern.ch - https://confluence.cern.ch/display/FMVWG/Formal+methods+interest+group+Home
10:40
Formal Verification in the COLIBRI project
-
Alberto Perro
(
Universite d'Aix-Marseille III (FR)
)
Formal Verification in the COLIBRI project
Alberto Perro
(
Universite d'Aix-Marseille III (FR)
)
10:40 - 10:55
10:55
Formal Verification in the CROME project
-
Clyde Laforge
(
CERN
)
Formal Verification in the CROME project
Clyde Laforge
(
CERN
)
10:55 - 11:10
11:10
Formal Verification in the FGC project
-
Valerio Nappi
Formal Verification in the FGC project
Valerio Nappi
11:10 - 11:25
11:25
Discussion on central support/ tools/ trainings
-
Christos Gentsos
(
CERN (IT-CA-GES)
)
Discussion on central support/ tools/ trainings
Christos Gentsos
(
CERN (IT-CA-GES)
)
11:25 - 11:40
11:40
Discussion & Wrap-up
Discussion & Wrap-up
11:40 - 12:00
Additional time for questions