1

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to …
Borja Fernández Adiego, Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Enrique Blanco Viñuela, Tomasz Ladzinski, Frederic Havart
DOI
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
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
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller