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

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

July 24, 2006

has restriction

closed

Date in CU Experts

May 28, 2014 4:12 AM

Full Author List

Awedh M; Somenzi F

author count

2

citation count

5

published in

Design Automation Conference Journal

presented at event

43rd Design Automation Conference Conference

Other Profiles

International Standard Serial Number (ISSN)

0738-100X

Digital Object Identifier (DOI)

https://doi.org/10.1109/dac.2006.229399

International Standard Book Number (ISBN) 10

1-59593-381-6

Additional Document Info

start page

1073

end page

+