# Program Proofs

Canonical: https://www.bookquiver.com/k-rustan-m-leino/program-proofs/9780262546232

![Program Proofs](https://quivercdn.com/covers/the-mit-press/k-rustan-m-leino/program-proofs_978-02-6254-623-2.jpg?v=2026-06-01%2023%3A00%3A31)

- Book: [Program Proofs](https://www.bookquiver.com/k-rustan-m-leino/program-proofs) ([Program Proofs.md](https://www.bookquiver.com/k-rustan-m-leino/program-proofs.md))
- Authors: [K. Rustan M. Leino](https://www.bookquiver.com/k-rustan-m-leino), [Kaleb Leino](https://www.bookquiver.com/kaleb-leino)
- Publisher: the_mit_press
- ISBN: 978-02-6254-623-2
- Pages: 496
- Published: 2023-03-07
- Language: en_US
- Binding: Softcover

## Description

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs...