Formally verified differential dynamic logic.

Brandon Bohrer Vincent Rahli Ivana Vukotic Marcus Völp André Platzer

Published in: CPP (2017)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
classical first order logic
first order logic
agent programming
databases
real world
information systems
expert systems
knowledge representation
object oriented
multiple input