Bounded Model Checking with Parametric Data Structures.

Erika Ábrahám Marc Herbstritt Bernd Becker Martin Steffen

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

bounded model checking
data structure
model checking
formal verification
temporal logic
linear temporal logic
data types
efficient data structures
multi agent systems
algorithms and data structures
search algorithm
index structure
parametric models
finite state
suffix tree
multidimensional data
learning algorithm