Automated Verification of Shape and Size Properties Via Separation Logic.

Huu Hai Nguyen Cristina David Shengchao Qin Wei-Ngan Chin

Published in: VMCAI (2007)

Keyphrases

automated verification
automated reasoning
invariant properties
model checking
topological properties
formal verification
shape model
modal logic
aspect ratio
shape representation
medial axis
formal language
machine learning
natural language
object recognition
shape descriptors