Verification for Everyone? An Overview of Dynamic Logic.

Alexandre Madeira

Published in: MLCSB (2018)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
model checking
face verification
formal verification
propositional dynamic logic
agent programming
classical first order logic
general purpose
modal operators
verification method