000 02648nam a22005415i 4500
001 978-1-4020-4758-9
003 DE-He213
005 20161121231111.0
007 cr nn 008mamaa
008 100301s2006 ne | s |||| 0|eng d
020 _a9781402047589
_9978-1-4020-4758-9
024 7 _a10.1007/978-1-4020-4758-9
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
082 0 4 _a621.3815
_223
100 1 _aDasGupta, Pallab.
_eauthor.
245 1 2 _aA Roadmap for Formal Property Verification
_h[electronic resource] /
_cby Pallab DasGupta.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2006.
300 _aXIV, 252 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aLanguages for Temporal Properties -- How Does the Property Checker Work? -- Is My Specification Consistent? -- Have I Written Enough Properties? -- Design Intent Coverage -- Test Generation Games -- A Roadmap for Formal Property Verification.
520 _aIntegrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
650 0 _aEngineering.
650 0 _aLogic design.
650 0 _aMathematical logic.
650 0 _aComputer-aided engineering.
650 0 _aElectrical engineering.
650 0 _aElectronics.
650 0 _aMicroelectronics.
650 0 _aElectronic circuits.
650 1 4 _aEngineering.
650 2 4 _aCircuits and Systems.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
650 2 4 _aElectronics and Microelectronics, Instrumentation.
650 2 4 _aLogic Design.
650 2 4 _aElectrical Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402047572
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-4758-9
912 _aZDB-2-ENG
950 _aEngineering (Springer-11647)
999 _c508581
_d508581