tchajed/sys-verif-fa24-proofs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Assignment repo for Systems Verification Fall 2024 at UW-Madison
62 commits 1 branch 0 tags 478 KiB
  • Rocq Prover 96%
  • Go 3.2%
  • Verilog 0.4%
  • Makefile 0.2%
Find a file
Exact
Tej Chajed 95b12983a0
 Release another Dafny demo
2024-12-06 08:51:16 -06:00
.devcontainer Update docker container 2024-09-26 08:07:11 -05:00
.vscode Disable VS Code ambiguous characters highlighting 2024-09-27 07:40:13 -05:00
dafny Release another Dafny demo 2024-12-06 08:51:16 -06:00
etc Add initial template release 2024-08-26 14:28:07 -05:00
go Update topo_sort PBT test 2024-12-02 11:34:08 -06:00
perennial@9b6eb58db0 Bump perennial 2024-10-20 19:22:02 -05:00
src Update barrier lecture notes 2024-11-27 17:07:24 -06:00
.gitignore Add initial template release 2024-08-26 14:28:07 -05:00
.gitmodules Fix submodule tracking 2024-10-04 21:10:16 -05:00
_CoqProject Add IPM lecture Coq file 2024-10-06 21:31:07 -05:00
Makefile Fix subtle bug in Makefile 2024-10-04 21:19:45 -05:00
README.md Update submodule setup 2024-09-05 09:59:11 -05:00

README.md

Systems verification assignments

These are the proof assignments for CS 839: Systems verification, taught at UW-Madison in Fall 2024 by Tej Chajed.

Please don't fork the repo since it will make your solutions public. Follow the setup instructions on the course website. The instructions also describe how to set up Coq.

Once you have Coq installed, build the provided code by running make.

Getting updates

You'll need to use git pull to get updates and new assignments.