40 citations · 86 across the 4 of their papers we have counts for
1 paper · 1 filter
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…