Testing, Debugging, and Verification | TDA567/DIT082, LP2, HT2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Schedule | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Places and Times We have lectures on Mondays at 15:15 - 17:00, and on Thursdays at 10:00 - 11:45. In addition, on Mondays there is a Lab session at 13:15 - 15:00, and on Fridays there is an exercise session at 15:15 - 17:00. In the schedule below you can check the rooms for each day. Office hours can be scheduled with the TAs. You can find their contact information in the course description page. Please, note that the slides for each lecture may be modified before the corresponding lecture. It is advisable to (re)download them on the same day of the lecture. Welcome to the first lecture on Monday 31 October, 15:15 - 17:00 in EA!
Printable version of the slides in google docs Download all the slides !
Extra Material about Verification
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Atze van der Ploeg, Oct 18, 2016 |