Course pages 2017–18

Interactive Formal Verification

Students are assessed via two exercises, marked out of 100. Assessments should be submitted electronically, via the L21 Moodle site (this is currently still being set up by university administration; details will be provided in due course). Paper submissions will not be accepted. I need to check your proofs and definitions contained within your submitted theory file using Isabelle. Submissions must be made before 4pm on the submission date.