Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White

Browse the full PLDI paper archive.