Dynamic abstraction using SAT-based BMC.

Liang Zhang Mukul R. Prasad Michael S. Hsiao Thomas Sidle

Published in: DAC (2005)

Keyphrases

bounded model checking
high level
dynamic environments
artificial intelligence
objective function
dynamically changing
answer set programming