Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2015



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

Examination
Exam/re-exam info
Sample exams and solutions

Exercises
Weekly exercises

Labs
Lab assignments to hand-in

Course Evaluation
Student representatives, meeting summaries

Links, Papers, and Software
Tutorials, manuals, papers, software
Tips & tricks
Course textbooks and papers
External links




Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Apr 29, 2015