مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal Verification In A Commercial Setting

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

Link To Document :