Assignments

• Setup

• Assignment 1: Coq

• Assignment 2: Separation logic theory

• Assignment 3: Verifying Go programs

  • Introduction to program proofs
  • Assignment 3: Inferring specifications
  • Assignment 3: verify factorial function
  • Assignment 3: Linked lists as lists
  • Assignment 3: queue using two stacks

• Assignment 4: concurrent sharded hash map

• Final project