Sign in

Dynamic abstraction using SAT-based BMC.

Liang ZhangMukul R. PrasadMichael S. HsiaoThomas Sidle
Published in: DAC (2005)
Keyphrases
  • bounded model checking
  • high level
  • dynamic environments
  • artificial intelligence
  • objective function
  • dynamically changing
  • answer set programming