Login
Electronics-forum #16 joint with Formal Methods Interest Group: Formal Verification of Gateware

Thursday 3 April 2025 - 10:30


        : Sessions
    /     : Talks
        : Breaks
3 Apr 2025
AM
10:30 Introduction - Borja Fernandez Adiego (CERN) Mathieu Saccani (CERN) Evangelia Gousiou (CERN) Hamza Boukabache (CERN)  
10:40 Formal Verification in the COLIBRI project - Alberto Perro (Universite d'Aix-Marseille III (FR))  
10:55 Formal Verification in the CROME project - Clyde Laforge (CERN)  
11:10 Formal Verification in the FGC project - Valerio Nappi  
11:25 Discussion on central support/ tools/ trainings - Christos Gentsos (CERN (IT-CA-GES))  
11:40 Discussion & Wrap-up  
PM
Powered by Indico v3.3.7-pre