C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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