16 citations · 29 across the 8 of their papers we have counts for
1 paper · 1 filter
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…