Semesterside for IN5100 - Høst 2025

• Timeplan i TP
• Eksamen: Tid og sted

Videomappe

• Lenke til videomappe i Panopto

Oppgaver/Exercises

• Oppgavesett 1 (Problem Set 1)
• Delvis løsning på oppgavesett 1, som Maude-fil
• Oppgavesett 2
• Oppgavesett 3
• LØsningsforslag oppgavesett 2 og 3, som Maude fil

• Oppgavesett 6 (sanntidssystemer)
• Løsningsforslag oppgavesett 6, som Maude fil
• Oppgavesett 7 (probabilistiske systemer)
• Løsningsforslag oppgavesett 7, som Maude fil

Mandatory Homework Assignments (Obligatoriske oppgaver)

• Assignment 1 in English
• Oblig 1 på norsk (frist 12/9)

• Oblig 2 (frist 26/9)
• Oblig 3 (frist 24/10)

Pensum (og hva man bør kunne; fylles ut etterhvert)

• Sanntidsystemer
• Probabilistiske systemer
• En formell semantikk for C i K
• Cellebiologi og biologiske reaksjoner
• K-EVM: Formell semantikk for EVM

• Proteiner i hjernen (Parkinson's Disease, etc.)
• Finne nye feil i web-browsere med Maude
• Maude og formelle metoder på cloud transaction systems
• Maude modeller og analyse av DNS