Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework (NASA Formal Methods 2023 - NFM 2023)

Who

Peter Riviere, Neeraj Singh, Yamine Ait Ameur, Guillaume Dupont

Track

NASA Formal Methods 2023 NFM

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Peter Riviere

irit

France

Neeraj Singh

INPT-ENSEEIHT / IRIT, University of Toulouse, France

France

Yamine Ait Ameur

IRIT/INPT-ENSEEIHT

France

Guillaume Dupont

INPT–ENSEEIHT

France

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 William Harrison Two Six Technologies, Ian Blumenfeld , Eric Bond , Chris Hathhorn , Paul Li , May Torrence , Jared Ziegler
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)