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.

Learn by doing. Use hands-on exercise files to follow along with the course and practice concepts as you’re watching them. Sign up now to enhance your training.

Start free trial

Course transcripts are the written form of the course audio. You can use transcripts to just read the audio, or to search for terms or phrases to find where they are discussed in the training. Sign up to try them now.

Start free trial

Ask questions, read feedback from other learners and share your input, all in our discussion forums. Sign up now to join our community of learners, course authors and friendly support staff.

Start free trial

You’ve completed the course but did you master it? Test yourself with questions that gauge your understanding of the material and show you what to brush up on. Sign up to get started.

Start free trial
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.
Exercise Files

Learn by doing. Use hands-on exercise files to follow along with the course and practice concepts as you’re watching them. Sign up now to enhance your training.

Start free trial
Transcript

Course transcripts are the written form of the course audio. You can use transcripts to just read the audio, or to search for terms or phrases to find where they are discussed in the training. Sign up to try them now.

Start free trial
Discussion

Ask questions, read feedback from other learners and share your input, all in our discussion forums. Sign up now to join our community of learners, course authors and friendly support staff.

Start free trial
Knowledge Check

You’ve completed the course but did you master it? Test yourself with questions that gauge your understanding of the material and show you what to brush up on. Sign up to get started.

Start free trial
Course info
Level
Intermediate
Rating
(80)
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