Verification of multi-linked heaps.

Ittai Balaban Amir Pnueli Yaniv Sa'ar Lenore D. Zuck

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

model checking
data mining
learning environment
information technology
multiresolution
formal verification
person identification
verification method