98 citations · 647 across the 44 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019★ 3 cited
Toward Structured Proofs for Dynamic Logics
Rose Bohrer, André Platzer
We present Kaisar, a structured interactive proof language for differential dynamic logic (dL), for safety-critical cyber-physical systems (CPS). The defining feature of Kaisar is…
cs.PL2019★ 17 cited
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…