|
|
|
|
LEADER |
02581nam a22004335i 4500 |
001 |
9092 |
003 |
DE-He213 |
005 |
20130727082732.0 |
007 |
cr nn 008mamaa |
008 |
130531s2010 xxu| s |||| 0|eng d |
020 |
# |
# |
|a 9781441959980
|9 978-1-4419-5998-0
|
024 |
7 |
# |
|a 10.1007/978-1-4419-5998-0
|2 doi
|
050 |
# |
4 |
|a TK7888.4
|
072 |
# |
7 |
|a TJFC
|2 bicssc
|
072 |
# |
7 |
|a TEC008010
|2 bisacsh
|
082 |
0 |
4 |
|a 621.3815
|2 23
|
100 |
1 |
# |
|a Ray, Sandip.
|e author.
|
245 |
1 |
0 |
|a Scalable Techniques for Formal Verification
|c by Sandip Ray.
|h [electronic resource] /
|
264 |
# |
1 |
|a Boston, MA :
|b Springer US :
|b Imprint: Springer,
|c 2010.
|
300 |
# |
# |
|a XIV, 240p.
|b online resource.
|
336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
347 |
# |
# |
|a text file
|b PDF
|2 rda
|
505 |
0 |
# |
|a Introduction -- Overview of Formal Verificaiton -- ACL2 -- Sequential Programs -- Analysis of Proof Strategies -- Using Theorem Proving for Verification Condition Generation -- Formalizing Reactive Programs -- Concurrent Programs as a Reactive System -- Rewriting and Abstract Interpretation -- Integrating Deductive and Algorithmic Reasoning -- A Formally Verified Compositional Model Checking Procedure -- Integrating Arbitrary Decision Procedures with Theorem Proving.
|
520 |
# |
# |
|a This 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 |
|a Engineering.
|
650 |
# |
0 |
|a Computer aided design.
|
650 |
# |
0 |
|a Systems engineering.
|
650 |
1 |
4 |
|a Engineering.
|
650 |
2 |
4 |
|a Circuits and Systems.
|
650 |
2 |
4 |
|a Computer-Aided Engineering (CAD, CAE) and Design.
|
710 |
2 |
# |
|a SpringerLink (Online service)
|
773 |
0 |
# |
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9781441959973
|
856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-5998-0
|
912 |
# |
# |
|a ZDB-2-ENG
|
950 |
# |
# |
|a Engineering (Springer-11647)
|