Videos
| Recorded lectures |
Zoom
| Live lectures (hybrid) -- see syllabus for password |
GitHub repository
| This repository contains code that you can use in the project and a set of example programs (benchmarks) for basic testing. |
Sindarin Compiler
| A bare-bones UI in which you can investigate C program ASTs. |
Dafny -- a sample verifier from Microsoft Research
| This is given as a nice reference to a real software verification tool with a Web UI. |