Scalable Techniques for Formal Verification
by Sandip Ray
English | 2010 | ISBN: 1441959971 | 240 pages | PDF | 2.46 MB
“ | 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. | ” |
Please No mirrors.
Download File Size:2.16 MB