On the size of data structures used in symbolic model checking

Paolo Liberatore Marco Schaerf

Published in: CoRR (2010)

Keyphrases

symbolic model checking
data structure
model checking
formal verification
partial observability
computational complexity
machine learning
software engineering
finite state
symbolic representation