Extending PPTL for Verifying Heap Evolution Properties.

Xu Lu Zhenhua Duan Cong Tian

Published in: CoRR (2015)

Keyphrases

data structure
model checking
structural properties
real time
data sets
image processing
search algorithm
object recognition
user interface
evolutionary process