Login / Signup

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro GomesAlexandre MadeiraManisha JainLuí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