Invited Speakers
Shaz Qadeer
, Microsoft Research, USA
HAVOC: A Precise and Scalable Verifier for Systems Code
ABSTRACT
Paolo Baldan
, University of Padova, Italy
Verification of Graph Transformation Systems
ABSTRACT
Dietmar Berwanger
, RWTH Aachen, Germany
Coordinating Controllers
ABSTRACT