16 citations · 29 across the 8 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.PL2018
TWAM: A Certifying Abstract Machine for Logic Programs
Rose Bohrer, Karl Crary
Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a s…