Procedure - Modular Verification of Temporal Safety Properties
Time: Sun 2012-05-13 13.00
Location: Sal D3, Lindstedtsvägen 5, KTH,
Subject area: Datalogi
Doctoral student: Siavash Soleimanifard
Opponent: Docent Gerardo Schneider, Chalmers University of Technology
Supervisor: Docent Dilian Gurov