Space-Efficient Bounded Model Checking.

Jacob Katz Ziyad Hanna Nachum Dershowitz

Published in: DATE (2005)

Keyphrases

space efficient
bounded model checking
model checking
formal verification
data structure
temporal logic
data streams
sliding window
linear temporal logic
range sum queries
bloom filter
multi agent systems
linear space
databases
b tree
suffix array
machine learning
data sets