HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Luis Garcia, Stefan Mitsch, Andre Platzer

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of est…