Personal tools
  •  

Formal Verification

29/05/2017 07:47:57, theon, Refresh, Feedback

Course Details

TitleFormal Verification
School AcronymFV
Level11
Points10
Normal Year Taken4
Delivery PeriodS2
Exam/Work Weighting100% / 0%
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/fv
University Course PageINFR11129

Staff and Groups

The following staff are associated with this course.

Course Lecturer(s)
NameEmailOfficePhone
J Fleuriot jdf@staffmail.ed.ac.uk IF-2.15 509342
P Jackson Paul.Jackson@ed.ac.uk IF-2.12 505131
Teaching Support
Demonstrator D Raggi
Teaching Assistant D Raggi
Admin Support
Please use the ISS Contact Form to contact admin support
NONE ALLOCATED

Lecture Times

Please see the Web Timetable link on the DRPS page.

Coursework Assignments

The following coursework is associated with this course:

Tag Title Type Assessed? Out of Worth
NONE FOUND

Deadlines & Feedback

The following coursework deadlines are associated with this course:

Tag Deadline Outcome*
Submission Feedback
NONE FOUND

*The Outcome will show the number of days early or late (from the "Feedback" deadline) that feedback, or marks and feedback, was distributed to the students.


University guidelines require Schools to provide feedback on all formative coursework assignments within three weeks of the submission deadline. If the marking deadlines for summative (for-credit) coursework given above exceed this period, the course involves very large amounts of marking and the course team has been given permission to advertise a longer marking period. Please contact ito@inf.ed.ac.uk for further information.