Confirmed Invited Speakers

Irina Mariuca Asavoae – Model Checking for Mobile Security
Klaus Havelund & Doron Peled – First order runtime verification
Radu Iosif – Separation Logic