I just finished teaching Utah's Software Verification course, and I've been thinking how to improve the final project to be more straightforward and informative. This draft is something I might assign in the future; it is intended to be completed over multiple weeks, with regular check-ins to make sure students are on track. Overview This assignment involves writing a verifier for a simple programming language. The verifier converts code to verification conditions, uses Z3 to test those verif...
