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. |