CS 15-122: Principles of Imperative Computation
(Summer 2020)

OLI Modules for Lectures 0 and 1

If prompted to authenticate, click on CMU users sign in here and then enter your web login credentials.

  1. Preconditions
  2. Reasoning About Contracts
  3. Postconditions and Testing
  4. Proving Functions Correct
2020 Iliano Cervesato iliano@cmu.edu