Kursmoduler
Introduction
Introduction
Modul slutförd
Modul pågår
Modulen låst
-
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
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
-
BilagaEventBUsufulLinks.docx EventBUsufulLinks.docxFå 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
-
BilagaDD2460_Lecture3_2021.pdf DD2460_Lecture3_2021.pdfFå 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
-
BilagaDD2460_Lecture4_2021.pdf DD2460_Lecture4_2021.pdfFå 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
-
Extern länkVideo of Lecture 3 Video of Lecture 3Få 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
-
Extern länkVideo of Lecture 4 Video of Lecture 4Få 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
-
Extern länkDemo Rodin: create specification Demo Rodin: create specificationFå 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
-
BilagaDD2460_2021_Lecture_5.pdf DD2460_2021_Lecture_5.pdfFå 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
-
BilagaPrepare_for_Lecture_5.html Prepare_for_Lecture_5.htmlFå 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
-
Extern länkVideo of Lecture 5 Video of Lecture 5Få 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
-
BilagaDD2460_2021_Lecture_6_partt1.pdf DD2460_2021_Lecture_6_partt1.pdfFå 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
-
Extern länkVidoe Lecture 6 Part1 Vidoe Lecture 6 Part1Få 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
-
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 tutorials NuSMV tutorialsFå 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 tutorials JPF tutorialsFå 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; security in practice Memory safety; security in practiceFå 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
-
UppgiftFinal report and presentation Final report and presentationFå 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
-
UppgiftFinal presentation: video upload Final presentation: video uploadFå 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
-
UppgiftFinal presentation: peer review and comments Final presentation: peer review and commentsFå 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
