Formally verified differential dynamic logic.

Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Vlp, Andr Platzer

Browse the full CPP paper archive.