Increasing the robustness of bounded model checking by computing lower bounds on the reachable states Journal Article uri icon

Overview

publication date

  • January 1, 2004

Full Author List

  • Awedh M; Somenzi F

Additional Document Info

start page

  • 230

end page

  • 244

volume

  • 3312