Login / Signup
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.
Leandro Gomes
Alexandre Madeira
Manisha Jain
Luís Soares Barbosa
Published in:
ICFEM (2019)
Keyphrases
</>
imperative programs
dynamic environments
theorem proving
modal logic
generation process
dynamic logic
expert systems
inference rules
propositional dynamic logic