Preface


This volume includes papers presented at the Doctoral Symposium held in Li-
massol, Cyprus, on November 8th, 2016, as part of the International Symposium
on Formal Methods (FM 2016). The goal of the Formal Methods Doctoral Sym-
posium was to provide selected PhD students with a forum in which they can
present to the FM community their ongoing research, receive advice and feed-
back from a panel of experts, and discuss their work with fellow students in
Formal Methods.
    We received 10 submissions. After a careful reviewing process, in which each
submission received three reviews by members of the Program Committee, 8
papers were selected for presentation at the Doctoral Symposium.
    Prof. John Fitzgerald was invited as the keynote speaker at the Doctoral
Symposium. The abstract of his talk on “Formal Methods and Future Systems
Engineering” is included in these proceedings.
    The panel of experts providing feedback to students was composed of Prof.
Cliff Jones (Newcastle University, United Kingdom), Prof. Martin Steffen (Uni-
versity of Oslo, Norway), and Prof. Zhiming Liu (Southwest University, China),
all of whom had also participated on the Programme Committee. The panel of
experts selected two presentations, by Vincent Bloemen and by Rajdeep Mukher-
jee, as joint recipients of the ”Best Presentation” award for the Doctoral Sympo-
sium. We would also like to thank Springer-Verlag, who kindly agreed to sponsor
the award with a monetary contribution for the recipients.
    Our sincerest thanks go to the authors who submitted the research abstracts
to the Doctoral Symposium, to the members of the panel, to Prof. John Fitzger-
ald, and to all the members of the Program Committee, for their help, their
support, and the invaluable contributions they gave to the Doctoral Sympo-
sium. We are also very grateful to the general chair of the Symposium on Formal
Methods, Prof. Anna Philippou of the University of Cyprus, and to all the local
organizers for helping making the Doctoral Symposium a success. Finally, we
thank all participants to the Doctoral Symposium, who made the event a lively
and fruitful one.




Limassol, Cyprus                                             Andrew Butterfield
November 2016                                                     Matteo Rossi
                                                              Program co-chairs
                     Program Committee


Bernhard Aichernig       TU Graz, AT
Nikolaj Bjørner          Microsoft Research, US
Andrew Butterfield       Trinity College, IE (co-chair)
Ana Cavalcanti           University of York, GB
Chryssis Georgiou        University of Cyprus, CY
Jan Friso Groote         TU Eindhoven, NL
Cliff Jones              Newcastle University, GB
Peter Gorm Larsen        Aarhus University, DK
Elizabeth Leonard        Naval Research Laboratory, US
Zhiming Liu              Southwest University, CN
Dominique Méry          LORIA and Université de Lorraine, FR
César Muñoz            NASA, US
Matteo Rossi             Politecnico di Milano, IT (co-chair)
Maurice Ter Beek         ISTI-CNR, IT
Stefano Tonetta          FBK-irst, IT
Elena Troubitsyna        Åbo Akademi, FI
Jaco van de Pol          University of Tewnte, NL
Martin Steffen           University of Oslo, NO