Ignacio D. Lopez-Miguel
Ignacio D. Lopez-Miguel
Home
News
Publications
Contact
CV
Light
Dark
Automatic
1
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
PLCverif was first released internally for CERN usage in 2019 and is available to everyone since September 2020 via an open source …
Ignacio D. Lopez-Miguel
,
Jean-Charles Tournier
,
Borja Fernández Adiego
DOI
«
Cite
×
