Space-Efficient Bounded Model Checking

Jacob Katz Ziyad Hanna Nachum Dershowitz

Published in: CoRR (2007)

Keyphrases

space efficient
bounded model checking
model checking
formal verification
data structure
temporal logic
data streams
linear temporal logic
sliding window
multi agent systems
bloom filter
range sum queries
linear space
uncertain data streams
data sets
b tree
multi agent
feature selection
learning algorithm