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. © Springer Science+Business Media, LLC 2010. All rights reserved.
CITATION STYLE
Ray, S. (2010). Scalable techniques for formal verification. Scalable Techniques for Formal Verification (pp. 1–243). Springer US. https://doi.org/10.1007/978-1-4419-5998-0
Mendeley helps you to discover research relevant for your work.