Login / Signup
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Christoph Meinel
Christian Stangier
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
Keyphrases
</>
symbolic model checking
model checking
formal verification
partial observability
learning algorithm
data structure
dynamic environments
symbolic representation