Scalable Techniques for Formal Verification

• Main Author: Ray, Sandip. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US : Imprint: Springer, 2010.
• Subjects: Engineering.; Computer aided design.; Systems engineering.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-5998-0

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

Table of Contents:

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