|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Sandip RayPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 1.40cm , Length: 15.60cm Weight: 0.367kg ISBN: 9781441960061ISBN 10: 1441960066 Pages: 260 Publication Date: 18 June 2010 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock ![]() Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |