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