TY  - RPRT
TI  - Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
AU  - Ignacio D. Lopez-Miguel
AU  - Borja Fernández Adiego
AU  - Matias Salinas
AU  - Christine Betz
PY  - 2025
UR  - https://arxiv.org/abs/2502.19150
ID  - 2502.19150
ER  -