Toward proved programs

Slides