Wed 17 May 2023 14:00 - 14:25 - Hardware Verification Chair(s): Kenneth L. McMillan

Wed 17 May

Displayed time zone: Central Time (US & Canada) change

14:00 - 15:30
Hardware VerificationNFM 2023
Chair(s): Kenneth L. McMillan University of Texas at Austin
14:00
25m
Talk
Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
NFM 2023
Peter Riviere irit, Neeraj Singh INPT-ENSEEIHT / IRIT, University of Toulouse, France, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Guillaume Dupont INPT–ENSEEIHT
14:25
25m
Talk
Formalized High Level Synthesis with Applications to Cryptographic Hardware
NFM 2023
14:50
25m
Talk
Formally Proved Memory Controllers: From the Standards to Silicon
NFM 2023
Felipe Lisboa Malaquias Télécom Paris, Mihail Asavoae Univ. Paris-Saclay, CEA List, Florian Brandner Télécom Paris
15:15
15m
Talk
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
NFM 2023
Zsófia Ádám Department of Measurement and Information Systems, Budapest University of Technology and Economics, Ignacio D. Lopez-Miguel TU Wien, Anastasia Mavridou KBR / NASA Ames Research Center, Thomas Pressburger NASA ARC, Marcin Bęś , Enrique Blanco Viñuela , Andreas Katis KBR / NASA Ames Research Center, Jean-Charles Tournier CERN, Khanh V. Trinh , Borja Fernandez Adiego European Organization for Nuclear Research (CERN)