An Interactive Verification System Based on Dynamic Logic.

Reiner Hähnle Maritta Heisel Wolfgang Reif Werner Stephan

Published in: CADE (1986)

Keyphrases

dynamic logic
modal logic
reasoning about actions
user interaction
imperative programs
computer graphics
model checking
propositional dynamic logic
classical first order logic
virtual reality
first order logic
neural network
case based reasoning
agent programming