Login / Signup

Towards an implementation of differential dynamic logic in PVS.

J. Tanner SlagelCésar MuñozSwee BalachandranMariano M. MoscatoAaron DutlePaolo MasciLauren White
Published in: SOAP@PLDI (2022)
Keyphrases
  • dynamic logic
  • implementation details
  • data sets
  • artificial intelligence
  • sufficient conditions
  • modal logic
  • theorem proving