Parametric Linear Dynamic Logic (full version).

Peter Faymonville Martin Zimmermann

Published in: CoRR (2015)

Keyphrases

dynamic logic
imperative programs
reasoning about actions
modal logic
transfer function
high level
answer set programming
parametric models