Program Proofs (The MIT Press)

Program Proofs (The MIT Press)
English | Tutorial | Size: 24.13 MB


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.

MIT – Future Compute 2022

MIT – Future Compute 2022
English | Tutorial | Size: 6.87 GB


Transforming computing into competitive advantage