J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White. Towards an implementation of differential dynamic logic in PVS. In Laure Gonnord, Laura Titolo, editors, SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022. pages 44-50, ACM, 2022. [doi]
Abstract is missing.