Provable Code

Tools and patterns for using mathematics to write more reliable and readable software
More
Tools and patterns for using mathematics to write more reliable and readable software
More
Patterns
54m 3s
Immutability
1h 3m
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
Patterns
54m 3s
Immutability
1h 3m
Description
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.
Course info
Level
Intermediate
Rating
(83)
Duration
5h 51m
Released
13 Jun 2012
Course authors

Mathematician and software developer, Michael L Perry applies formal proof to creating reliable software. He has developed a method starting from the works of the greats (Meyer, Rumbaugh, Knuth), and embodied it in his open-source frameworks (Update Controls and Correspondence).

Share course