Theories for Mechanical Proofs of Imperative Programs.

Wim H. Hesselink

Published in: Formal Aspects Comput. (1997)

Keyphrases

imperative programs
equational theories
dynamic logic
theorem prover
plan execution
formal proof
xml documents
qualitative and quantitative
theorem proving
natural deduction