DD2460 VT20 (60146) Software Safety and Security
DD2460 VT20 (60146) Software Safety and Security
Kursmoduler
Introduction
Introduction
Modul slutförd
Modul pågår
Modulen låst
-
SidaAbout running the lecture/Covid-19 About running the lecture/Covid-19Få minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
SidaIntroduction IntroductionFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
SidaSchedule and Zoom link info Schedule and Zoom link infoFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
SidaBackground BackgroundFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftMeet your group Meet your groupFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftSafety or security incident report Safety or security incident reportFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftBackground material Background materialFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
Event-B
Event-B
Modul slutförd
Modul pågår
Modulen låst
-
UppgiftEvent-B/Rodin Event-B/RodinFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
Model Checking
Model Checking
Modul slutförd
Modul pågår
Modulen låst
-
SidaModel Checking and NuSMV Model Checking and NuSMVFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
QuizTemporal Logics Temporal LogicsFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
QuizPractice with BDDs Practice with BDDsFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftBackground material for model checking Background material for model checkingFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
QuizQuiz on "The SLAM Toolkit" Quiz on "The SLAM Toolkit"Få minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftNuSMV exercises NuSMV exercisesFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftAdvanced NuSMV exercise Advanced NuSMV exerciseFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftAdvanced NuSMV exercise: Individual contribution (optional) Advanced NuSMV exercise: Individual contribution (optional)Få minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
Java Pathfinder
Java Pathfinder
Modul slutförd
Modul pågår
Modulen låst
-
SidaJava Pathfinder Java PathfinderFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftJPF exercises JPF exercisesFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
QuizConcurrency in Java and JPF Concurrency in Java and JPFFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftJPF: Advanced exercise JPF: Advanced exerciseFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftAdvanced JPF exercise: Individual contribution (optional) Advanced JPF exercise: Individual contribution (optional)Få minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
Security in practice
Security in practice
Modul slutförd
Modul pågår
Modulen låst
-
SidaMemory safety Memory safetyFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
SidaPrevention and diagnostics; history Prevention and diagnostics; historyFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
-
UppgiftLab: Memory safety, fuzzing Lab: Memory safety, fuzzingFå minst Måste få minst poäng för att bli klar med det här modulobjektet Få minst Modulobjektet är färdigt genom att få minst poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt