Joint Industrial Controls Forum & RASWG meeting (#7)

Thursday 17 Mar 2022, 09:00 → 10:00 Europe/Zurich

220317_RASWG_minutes.pdf

1 Formal verification of PLC programs with PLCverif. Developer and user perspectives

Speaker: Ignacio David Lopez Miguel (Centro de Investigaciones Energéticas Medioambientales y Tec. (ES))

Presentation_PLCverif_RASWG.pptx

09:40 Q&A