Scalable Techniques for Formal Verification

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 te...

Full description

Bibliographic Details
Main Author: Ray, Sandip. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language:English
Published: Boston, MA : Springer US : Imprint: Springer, 2010.
Subjects:
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-5998-0
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)