DocumentCode

2568042

Title

Formal Verification In A Commercial Setting

Author

Kurshan, R.P.

Author_Institution

Bell Laboratories

fYear

1997

fDate

9-13 June 1997

Firstpage

258

Lastpage

262

Keywords

Acceleration; Computer bugs; Debugging; Design automation; Formal verification; Investments; Permission; Scattering; Testing; Time to market;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location

Anaheim, CA, USA

ISSN

0738-100X

Print_ISBN

0-7803-4093-0

Type

conf

DOI

10.1109/DAC.1997.597154

Filename

597154