Program Proofs

K. Rustan M. Leino;

Language: English

Publisher: MIT Press

Published: Feb 10, 2023

Description:

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