Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)
Master's thesis presentations in Computer Science KTH EECS
Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)
[an error occurred while processing this directive]

 

 

  School of Electrical Engineering and Computer Science
Denna tjänst avvecklas 2026-01-19. Läs mer här (länk)

Master's thesis presentation in Computer Science 2020

Tuesday 9 June at 10.00 (sharp)

Link to on-line presentation with Zoom

A contract language for modular specification and verification of temporal properties.
Sammanfattning   Abstract   Thesis draft

Presenter:  Lars Hummelgren
Programs:   TCSCM, CDATE    Course: DA231X
Supervisor: Dilian Gurov
Examiner:  Elena Troubitsyna
Opponent: Sayyed Ali Kiaian Mousavy    (DA231X, examiner Roberto Guanciale)

Session chair is Elena Troubitsyna