Assignments
- Safety or security incident reportDue 31 Mar 2023 at 17:591 Points possible
- Meet your groupDue 31 Mar 2023 at 17:59No points possible
- Event-B/Rodin Assignment 1A.Due 7 Apr 2023 at 17:591 Points possible
- Assignment 1B. Safety-security modelling in Event-B using Rodin platformDue 18 Apr 2023 at 19:005 Points possible
- NuSMV tutorialDue 21 Apr 2023 at 19:001 Points possible
- Advanced NuSMV exerciseDue 28 Apr 2023 at 19:005 Points possible
- Advanced NuSMV exercise: Individual contribution (optional)Due 28 Apr 2023 at 19:002 Points possible
- JPF tutorialDue 5 May 2023 at 19:001 Points possible
- JPF: Advanced exerciseDue 12 May 2023 at 19:005 Points possible
- Advanced JPF exercise: Individual contribution (optional)Due 12 May 2023 at 19:002 Points possible
- Lab: Memory safety, fuzzingDue 19 May 2023 at 19:002 Points possible
- Final presentation: Slide uploadDue 29 May 2023 at 19:00No points possible
- Final report and presentationDue 30 May 2023 at 19:005 Points possible
- Lab assignment for Ph.D. students1 Points possible
- 2023-06-02 examClosed40 Points possible
- Test2 Points possible
- 2023-08-24 re-examClosed40 Points possible
- 2023-08-24 re-exam, FUNKA40 Points possible
- Concurrency in Java and JPFDue 12 May 2023 at 19:005 Points possible
- Background material for model checkingDue 28 Apr 2023 at 19:00No points possible
- Code of conduct/HederscodexDue 27 Mar 2023 at 18:591 Points possible