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 |