Exams


Exam Date Time Place
Midterm Tue, Oct 20, 2020 3:30pm - 4:45pm online
Final Fri, Dec 18, 2020 10:00am - 12:00noon online


Study Guide


Final

The final will comprehensive and online.

The exam will assume knowledge of all the required reading material listed in the Lectures section as well as posted solutions to homework assignments and projects. (Recommended readings are excluded.) It is safe to assume that it will not delve into the details of the technical papers in the required readings.

The exam will contain a mix of true/false, multiple choice, short answer questions, and specification problems in Alloy, Lustre and Dafny. The latter will focus on your general understanding of these languages and formal specification, not on your remembering the exact details of their syntax.


Midterm

The midterm will be online and cover material from the beginning of the semester up to, and including, the last class before it.

It will be open book and notes but must be done individually. No collaborations with others.

The exam will assume knowledge of all the required reading material listed in the Lectures section, including the posted solutions to homework assignments. (Recommended readings are excluded.) It is safe to assume that it will not delve into the details of the technical papers in the required readings.

The exam will contain a mix of true/false, multiple choice, short answer questions, and specification problems in Alloy and Lustre. The latter problems will focus on your general understanding of these languages and formal specification, not on your remembering the exact details of Alloy's or Lustre's syntax.



Copyright: Cesare Tinelli, The University of Iowa, 2020