Login / Signup
Automated verification of shape, size and bag properties via user-defined predicates in separation logic.
Wei-Ngan Chin
Cristina David
Huu Hai Nguyen
Shengchao Qin
Published in:
Sci. Comput. Program. (2012)
Keyphrases
</>
user defined
automated verification
automated reasoning
data types
model checking
query processor
invariant properties
query language
databases
shape model
modal logic
machine learning
bag of words
logic programming
bayesian networks
metadata
shape descriptors
graph theory
artificial intelligence