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



This Course
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

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




W. Ahrendt, Sep 9, 2019