Embedding differential dynamic logic in PVS

DOI10.4204/EPTCS.402.7MaRDI QIDQ6934135zbMATH OpenFDO

Authors J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César Muñoz, Swee Balachandran, Aaron Dutle

Publication date 3 September 2025

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Embedding differential dynamic logic in PVS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934135)