Section: Formal methods
Principal supervisor: Flemming Nielsen
Co-supervisors:Christian Probst
Title of project: Stochastic Model Checking of Socio- Technical Models
Effective start/end date 01/07/2013 → 23/11/2016
Report published: Formal Analysis of Graphical Security Models