Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures.

Xuejian Li Yun Yu

Published in: WSSE (2022)

Keyphrases

verification method
data structure
model checking
temporal logic
floating point
efficient data structures
b tree
arithmetic operations
suffix tree
machine learning
computer vision
information systems
video sequences
index structure
data types
quadtree