Course
Skills Expanded
Provable Code
Tools and patterns for using mathematics to write more reliable and readable software
What you'll learn
Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system. Today, we have tools built into our compilers and type systems that help us to prove those assertions. This course will introduce you to some of those tools, define systems of logic for reasoning about code, and recommend patterns for building provable software.
Table of contents
Predicate Calculus
35mins
Design by Contract
77mins
Code Contracts
63mins
Patterns
54mins
Degrees of Freedom
57mins