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



This is a dummy page. The real entry for the course is through Canvas.


This Course (obsolete)
Course description

Lectures and Schedule
Lecture notes, lecture schedule, deadlines

Examination
Information to the oral examination

Labs
Lab assignments to hand-in

Course Evaluation
Student representatives, meeting summaries

Tools and Links
Software relevant for the course




W. Ahrendt, Sep 2, 2020