Increasing the robustness of bounded model checking by computing lower bounds on the reachable states
Journal Article
Overview
publication date
- January 1, 2004
Full Author List
- Awedh M; Somenzi F
published in
Additional Document Info
start page
- 230
end page
- 244
volume
- 3312