Afstudeerrichting formele methoden en software verificatie

specialisatievakken.

• advanced logic (voortgezette logica)
• distributed algorithms
• logical verification (logische verificatie)
• protocol validation (protocol validation)
• term rewriting systems (termherschrijfsystemen)

4de jaar.

• 12 studiepunten:
  3 van de 4 specialisatievakken
• 12 studiepunten:
  informatica en wiskunde
• 4 studiepunten:
  wiskunde
• 4 studiepunten:
  vrije keuze
• 6 studiepunten:
  project
• 3 studiepunten:
  computers in de samenleving
• 1 studiepunt:
  loopbaanorientatie

5de jaar.

• 4 studiepunten:
  het overgebleven specialisatievak
• 4 studiepunten:
  vrije keuze
• 4 studiepunten:
  kansrekening en statistiek
• 5 studiepunten:
  seminar formal methods and software verification
• 25 studiepunten:
  afstudeerproject