Uppgifter
- Meet your groupInlämnas den 1 apr 2021 kl 13.30Inga möjliga poäng
- Safety or security incident reportInlämnas den 2 apr 2021 kl 23.591 möjliga poäng
- Event-B/RodinInlämnas den 9 apr 2021 kl 23.591 möjliga poäng
- Peer review of safety/security reportInlämnas den 16 apr 2021 kl 23.591 möjliga poäng
- Assignment 1B. Safety-security modelling in Event-B using Rodin platformInlämnas den 23 apr 2021 kl 23.595 möjliga poäng
- NuSMV tutorialsInlämnas den 30 apr 2021 kl 23.591 möjliga poäng
- Advanced NuSMV exerciseInlämnas den 7 maj 2021 kl 23.595 möjliga poäng
- Advanced NuSMV exercise: Individual contribution (optional)Inlämnas den 7 maj 2021 kl 23.592 möjliga poäng
- JPF tutorialsInlämnas den 14 maj 2021 kl 23.591 möjliga poäng
- JPF: Advanced exerciseInlämnas den 21 maj 2021 kl 23.595 möjliga poäng
- Advanced JPF exercise: Individual contribution (optional)Inlämnas den 21 maj 2021 kl 23.592 möjliga poäng
- Lab: Memory safety, fuzzingInlämnas den 28 maj 2021 kl 23.592 möjliga poäng
- Final report and presentationInlämnas den 4 jun 2021 kl 23.595 möjliga poäng
- Final presentation: peer review and commentsInlämnas den 8 jun 2021 kl 8.00Inga möjliga poäng
- Final presentation: video uploadInlämnas den 31 maj 2021 kl 23.59Inga möjliga poäng
- Concurrency in Java and JPFInlämnas den 21 maj 2021 kl 23.595 möjliga poäng
- Background material for model checkingInlämnas den 30 apr 2021 kl 23.59Inga möjliga poäng