Assignments
- Safety or security incident reportDue 1 Nov 2024 at 18:001 Points possible
- Meet your groupDue 7 Nov 2024 at 18:00No points possible
- Lab: Memory safety, fuzzingDue 8 Nov 2024 at 18:002 Points possible
- NuSMV tutorialDue 8 Nov 2024 at 18:001 Points possible
- JPF tutorialDue 22 Nov 2024 at 18:001 Points possible
- JPF: Advanced exerciseDue 29 Nov 2024 at 18:005 Points possible
- Advanced JPF exercise: Individual contribution (optional)Due 29 Nov 2024 at 18:002 Points possible
- Event-B/Rodin Assignment 1A.Due 6 Dec 2024 at 18:001 Points possible
- Final presentation: Slide uploadDue 10 Dec 2024 at 18:00No points possible
- Assignment 1B. Safety-security modelling in Event-B using Rodin platformDue 10 Dec 2024 at 19:005 Points possible
- Final report and presentationDue 13 Dec 2024 at 18:005 Points possible
- Advanced NuSMV exercise5 Points possible
- Advanced NuSMV exercise: Individual contribution (optional)2 Points possible
- Lab assignment for Ph.D. students1 Points possible
- Additional points for individual work2 Points possible
- Concurrency in Java and JPFDue 29 Nov 2024 at 18:005 Points possible
- Background material for model checkingDue 15 Nov 2024 at 18:00No points possible
- Code of conduct/HederscodexDue 31 Oct 2024 at 18:001 Points possible