Abstraction of Systems with Counters for Symbolic Model Checking.

Klaus Schneider George Logothetis

Published in: MBMV (1999)

Keyphrases

symbolic model checking
safety analysis
data mining
dynamic programming
model checking
planning problems