000 02738nam a22004335i 4500
001 978-1-4419-5998-0
003 DE-He213
005 20140220084508.0
007 cr nn 008mamaa
008 130531s2010 xxu| s |||| 0|eng d
020 _a9781441959980
_9978-1-4419-5998-0
024 7 _a10.1007/978-1-4419-5998-0
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
082 0 4 _a621.3815
_223
100 1 _aRay, Sandip.
_eauthor.
245 1 0 _aScalable Techniques for Formal Verification
_h[electronic resource] /
_cby Sandip Ray.
264 1 _aBoston, MA :
_bSpringer US :
_bImprint: Springer,
_c2010.
300 _aXIV, 240p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPreliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification -- Sequential Programs -- Operational Semantics and Assertional Reasoning -- Connecting Different Proof Styles -- Verification of Reactive Systems -- Reactive Systems -- Verifying Concurrent Protocols Using Refinements -- Pipelined Machines -- Invariant Proving -- Invariant Proving -- Predicate Abstraction via Rewriting -- Formal Integration of Decision Procedures -- Integrating Deductive and Algorithmic Reasoning -- A Compositional Model Checking Procedure -- Connecting External Deduction Tools with ACL2 -- Conclusion -- Summary and Conclusion.
520 _aThis book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.
650 0 _aEngineering.
650 0 _aComputer aided design.
650 0 _aSystems engineering.
650 1 4 _aEngineering.
650 2 4 _aCircuits and Systems.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781441959973
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4419-5998-0
912 _aZDB-2-ENG
999 _c110568
_d110568