Uppgifter
- Meet your groupInlämnas den 26 mar 2020 kl 13.30Inga möjliga poäng
- Safety or security incident reportInlämnas den 27 mar 2020 kl 23.591 möjliga poäng
- Event-B/RodinInlämnas den 27 mar 2020 kl 23.591 möjliga poäng
- Peer review of safety/security reportInlämnas den 10 apr 2020 kl 23.591 möjliga poäng
- Assignment 1B. Safety-security modelling in Event-B using Rodin platformInlämnas den 10 apr 2020 kl 23.595 möjliga poäng
- NuSMV exercisesInlämnas den 24 apr 2020 kl 23.591 möjliga poäng
- Advanced NuSMV exerciseInlämnas den 1 maj 2020 kl 23.595 möjliga poäng
- Advanced NuSMV exercise: Individual contribution (optional)Inlämnas den 1 maj 2020 kl 23.592 möjliga poäng
- JPF exercisesInlämnas den 8 maj 2020 kl 23.591 möjliga poäng
- JPF: Advanced exerciseInlämnas den 15 maj 2020 kl 23.595 möjliga poäng
- Advanced JPF exercise: Individual contribution (optional)Inlämnas den 15 maj 2020 kl 23.592 möjliga poäng
- Lab: Memory safety, fuzzingInlämnas den 22 maj 2020 kl 23.592 möjliga poäng
- Final report and presentationInlämnas den 29 maj 2020 kl 23.595 möjliga poäng
- Final presentation: peer review and commentsInlämnas den 2 jun 2020 kl 8.00Inga möjliga poäng
- Final presentation: answersInlämnas den 5 jun 2020 kl 23.59Inga möjliga poäng
- Final presentation: video uploadInlämnas den 29 maj 2020 kl 7.59Inga möjliga poäng
- Concurrency in Java and JPFInlämnas den 15 maj 2020 kl 23.595 möjliga poäng
- Background material for model checkingInlämnas den 24 apr 2020 kl 23.59Inga möjliga poäng
- Background materialInlämnas den 27 mar 2020 kl 23.59Inga möjliga poäng