Brandon Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer. Formally verified differential dynamic logic. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 208-221, ACM, 2017. [doi]
Abstract is missing.