14 citations · 22 across the 3 of their papers we have counts for
1 paper · 1 filter
André Platzer, Yong Kiam Tan
We prove the completeness of an axiomatization for differential equation invariants. First, we show that the differential equation axioms in differential dynamic logic are complete…