Formal Methods for Software Development TDA294/DIT271, LP1, HT2017

News Group
Google news group for this course (you have to request an invitation). To avoid spam, when requesting you will only be granted access if you provide your Chalmers or Gothenburg University email address (in the additional comment box).

This Course
Course description

Lectures and Schedule
Lecture notes, lecture schedule, deadlines

Information to the oral examination

Weekly exercises

Lab assignments to hand-in

Course Evaluation
Student representatives, meeting summaries

Literature, Tools and Links
Additional literature, tutorials, manuals, papers, software, tips & tricks, external links

Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Oct 21, 2017