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

This Course
Course description

Lectures and Schedule
Lecture notes, lecture schedule, deadlines

Information to the oral examination

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

W. Ahrendt, Sep 9, 2019