Department of Computer Science and Technology

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.

Exercise PDF and associated theory Due date Notes
AE1: functional parser combinators PDF document and theory 8th November 2017, 4pm
AE2: metric spaces PDF document and theory 22nd November 2017, 4pm