Back to school

Scalable Techniques for Formal Verification

By Sandip Ray

  • eBook Price: $119.00 $59.50
Buy eBook Buy Print Book

Scalable Techniques for Formal Verification Cover Image

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Full Description

  • Add to Wishlist
  • ISBN13: 978-1-4419-5997-3
  • 254 Pages
  • Publication Date: May 25, 2010
  • Available eBook Formats: PDF
Full Description
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.
Table of Contents

Table of Contents

  1. Introduction.
  2. Overview of Formal Verificaiton.
  3. ACL2.
  4. Sequential Programs.
  5. Analysis of Proof Strategies.
  6. Using Theorem Proving for Verification Condition Generation.
  7. Formalizing Reactive Programs.
  8. Concurrent Programs as a Reactive System.
  9. Rewriting and Abstract Interpretation.
  10. Integrating Deductive and Algorithmic Reasoning.
  11. A Formally Verified Compositional Model Checking Procedure.
  12. Integrating Arbitrary Decision Procedures with Theorem Proving.
Errata

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published

Best-Sellers

    1. PHP Objects, Patterns, and Practice

      $38.99

      View Book

    2. Beginning Android 3D Game Development

      $34.99

      View Book

    3. Troubleshooting Oracle Performance

      $41.99

      View Book

    4. Beginning Amazon Web Services with Node.js

      $38.99

      View Book