From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Zsófi Á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 Fernández Adiego

Journal title: 15th NASA Formal Methods Symposium (NFM 2023)

Journal publisher: Springer Nature

Published year: 2023