Automatic invariant strengthening to prove properties in bounded model checking
Conference Proceeding
Overview
publication date
- July 24, 2006
Full Author List
- Awedh M; Somenzi F
published in
- Design Automation Conference Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1073
end page
- +