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

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

January 1, 2004

Full Author List

Awedh M; Somenzi F

published in

Lecture Notes in Artificial Intelligence Journal

Additional Document Info

start page

230

end page

244

volume

3312