A Dynamic Logic for deductive verification of multi-threaded programs.

Bernhard Beckert Vladimir Klebanov

Published in: Formal Aspects Comput. (2013)

Keyphrases

dynamic logic
multi threaded
imperative programs
modal logic
information flow
operating system
computer architecture
multithreading
multi core processors
reasoning about actions
agent programming
real time
knowledge base
model checking
formal methods
information systems