PCBS: PLC based control systems Workshop

Session

Testing & verification

5 Oct 2019, 14:40

New York (USA)

Conveners

Testing & verification

• Jeronimo Ortola Vidal (CERN)

50. Continuous Integration for PLC-based Control Systems (CERN)

Dr Brad Schofield (CERN)

05/10/2019, 14:40

51. Device Simulation: Improving testing coverage of PLC code (ESO)

Carlos Diaz

05/10/2019, 14:55

52. Demo of the PLCVerif: A formal verification tool (CERN)

Borja Fernandez Adiego (CERN)

05/10/2019, 15:10