From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif (NASA Formal Methods 2023 - NFM 2023)

Who

Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego

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 15:15 - 15:30 - Hardware Verification Chair(s): Kenneth L. McMillan

Zsófia Ádám

Department of Measurement and Information Systems, Budapest University of Technology and Economics

Hungary

Ignacio D. Lopez-Miguel

TU Wien

Austria

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Thomas Pressburger

NASA ARC

Marcin Bęś

Enrique Blanco Viñuela

Andreas Katis

KBR / NASA Ames Research Center

Jean-Charles Tournier

CERN

Switzerland

Khanh V. Trinh

Borja Fernandez Adiego

European Organization for Nuclear Research (CERN)