Automating Proofs of Data-Structure Properties in Imperative Programs.

Duc-Hiep Chu Joxan Jaffar Minh-Thai Trinh

Published in: CoRR (2014)

Keyphrases

imperative programs
data structure
dynamic logic
quadtree
association rules
action recognition
desirable properties
theorem prover
plan execution