资源描述:
《applied formal verification外语英文电子书》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、APPLIEDFORMALVERIFICATIONThispageintentionallyleftblankAPPLIEDFORMALVERIFICATIONDOUGLASL.PERRYVirtutech,Inc.HARRYD.FOSTERJasperDesignAutomation,Inc.McGraw-HillNewYorkChicagoSanFranciscoLisbonLondonMadridMexicoCityMilanNewDelhiSanJuanSeoulSingaporeSydneyToronto
2、Copyright©2005byTheMcGraw-HillCompanies,Inc.Allrightsreserved.ManufacturedintheUnitedStatesofAmerica.ExceptaspermittedundertheUnitedStatesCopyrightActof1976,nopartofthispublicationmaybereproducedordistributedinanyformorbyanymeans,orstoredinadata-baseorretrieva
3、lsystem,withoutthepriorwrittenpermissionofthepublisher.0-07-158889-2ThematerialinthiseBookalsoappearsintheprintversionofthistitle:0-07-144372-X.Alltrademarksaretrademarksoftheirrespectiveowners.Ratherthanputatrademarksymbolaftereveryoccurrenceofatrademarkednam
4、e,weusenamesinaneditorialfashiononly,andtothebenefitofthetrademarkowner,withnointentionofinfringementofthetrademark.Wheresuchdesignationsappearinthisbook,theyhavebeenprintedwithinitialcaps.McGraw-HilleBooksareavailableatspecialquantitydiscountstouseaspremiumsa
5、ndsalespromotions,orforuseincorporatetrainingprograms.Formoreinformation,pleasecontactGeorgeHoare,SpecialSales,atgeorge_hoare@mcgraw-hill.comor(212)904-4069.TERMSOFUSEThisisacopyrightedworkandTheMcGraw-HillCompanies,Inc.(“McGraw-Hill”)anditslicensorsreserveall
6、rightsinandtothework.Useofthisworkissubjecttotheseterms.ExceptaspermittedundertheCopyrightActof1976andtherighttostoreandretrieveonecopyofthework,youmaynotdecompile,disassemble,reverseengineer,reproduce,modify,createderivativeworksbasedupon,transmit,distribute,
7、disseminate,sell,publishorsublicensetheworkoranypartofitwithoutMcGraw-Hill’spriorconsent.Youmayusetheworkforyourownnoncommercialandpersonaluse;anyotheruseoftheworkisstrictlyprohibited.Yourrighttousetheworkmaybeterminatedifyoufailtocomplywiththeseterms.THEWORKI
8、SPROVIDED“ASIS.”McGRAW-HILLANDITSLICENSORSMAKENOGUAR-ANTEESORWARRANTIESASTOTHEACCURACY,ADEQUACYORCOMPLETENESSOFORRESULTSTOBEOBTAINEDFROMUSINGTHEWORK,INCLUDINGANYINFORMATIONTHATCANB