Table of Contents

List of Figures
1. Introduction
2. An Overview of Formal Methods Tools and Techniques
3. Propositional Logic
4. First-Order Logic
5. Hoare Logic
6. Generating Verification Conditions
7. Safety Properties
8. Procedures and Contracts
9. Specifying C Programs
10. Verifying C Programs
Bibliography
Index