Formally verified differential dynamic logic. - Bohrer, Rose; Rahli, Vincent; Vukotic, Ivana; Völp, Marcus; Platzer, André (2017)