Assignments
- Meet your groupDue 1 Apr 2022 at 17:59No points possible
- Safety or security incident reportDue 1 Apr 2022 at 17:591 Points possible
- Event-B/RodinDue 8 Apr 2022 at 17:591 Points possible
- NuSMV tutorialsDue 29 Apr 2022 at 17:591 Points possible
- JPF tutorialsDue 13 May 2022 at 17:591 Points possible
- Advanced JPF exercise: Individual contribution (optional)Due 20 May 2022 at 17:592 Points possible
- Final presentation: Slide uploadDue 30 May 2022 at 17:59No points possible
- Final report and presentationDue 3 Jun 2022 at 17:595 Points possible
- Assignment 1B. Safety-security modelling in Event-B using Rodin platform5 Points possible
- Advanced NuSMV exercise5 Points possible
- Advanced NuSMV exercise: Individual contribution (optional)2 Points possible
- JPF: Advanced exercise5 Points possible
- Lab assignment for Ph.D. students1 Points possible
- Lab: Memory safety, fuzzing2 Points possible
- 2022-06-03 examClosed40 Points possible
- Test2 Points possible
- 2022-06-03 exam, FUNKA40 Points possible
- 2022-08-15 re-exam40 Points possible
- 2022-08-15 re-exam, FUNKA40 Points possible
- Code of conduct/HederscodexDue 3 Jun 2022 at 7:591 Points possible
- Concurrency in Java and JPFDue 20 May 2022 at 17:595 Points possible
- Background material for model checkingDue 29 Apr 2022 at 17:59No points possible