Embedding Differential Dynamic Logic in PVS.
J. Tanner SlagelMariano M. MoscatoLauren M. WhiteCésar A. MuñozSwee BalachandranAaron DutlePublished in: CoRR (2024)
Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- theorem proving
- imperative programs
- first order logic
- propositional dynamic logic
- agent programming
- vector space
- classical first order logic
- xml schema
- formal verification
- multiple input
- theorem prover
- nonlinear dimensionality reduction
- high level
- situation calculus
- sufficient conditions
- general purpose
- object oriented
- case based reasoning