Verification of Finite Iterations over Tuples of Data Structures.

Valery A. Nepomniaschy

Published in: Program. Comput. Softw. (2002)

Keyphrases

data structure
model checking
formal verification
efficient data structures
data streams
database
finite number
unit length
attribute values
signature verification
real world
data mining
verification method
asynchronous circuits
data types
user defined
relational databases
objective function
databases