[an error occurred while processing this directive]

 

 

  School of Electrical Engineering and Computer Science

Master's thesis presentation in Computer Science 2020

Tuesday 1 December at 15.00 (sharp)

Link to on-line presentation with Zoom

Formal verification of device driver monitors in HOL 4.
Abstract   Thesis draft

Presenter:  Tomas Möre
Programmes:   TCSCM, CDATE    Course: DA231X
Supervisors:  Jonas Haglund, Roberto Guanciale
Examiner:  Mads Dam
Opponent:  Peter Boström    (DA231X, examiner Mads Dam)

Session chair is Mads Dam