The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley and Zohar Manna

Book Overview

Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.

• Format: Paperback
• Language: English
• ISBN: 3642093477
• ISBN13: 9783642093470
• Release Date: October 2010
• Publisher: Springer
• Length: 366 Pages
• Weight: 1.18 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"