The Calculus of Computation: Decision Procedures with Applications to Verification

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.

Author: Aaron R. Bradley, Zohar Manna
Publisher: Springer
Published: 10/19/2010
Pages: 366
Binding Type: Paperback
Weight: 1.18lbs
Size: 9.21h x 6.14w x 0.79d
ISBN13: 9783642093470
ISBN10: 3642093477
BISAC Categories:
- Computers | Computer Science
- Computers | Logic Design
- Mathematics | Logic

This title is not returnable