Automatic invariant strengthening to prove properties in bounded model checking Conference Proceeding

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

July 24, 2006

Full Author List

Awedh M; Somenzi F

published in

Design Automation Conference Journal

Other Profiles

Digital Object Identifier (DOI)

10.1109/DAC.2006.229399

Additional Document Info

start page

1073

end page

+