collaborators

1 paper

cs.SE2025

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)

Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas +1

The increased technological complexity and demand for software reliability require organizations to formally design and verify their safety-critical programs to minimize systematic…