Preface

This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).

PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analysis of systems prior to deployment, on the other techniques for the analysis of systems once they have already been deployed. The workshop brings together researchers working in the field of computer-aided validation, programming languages and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. This includes exploring relationships between techniques such as classic model checking and testing, with ones such as runtime verification and statistical model checking, between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring, gradual typing and contracts.

The proceedings of PrePost 2017 include six technical papers covering these areas. The workshop also included two invited talks, by Luca Padovani from the Università di Torino, Italy, and Alex Mifsud from Ixaris Ltd., UK.

We wish to thank the members of the Programme Committee for their invaluable input to the workshop:

• Laura Bocchi, University of Kent, UK.
• Dilian Gurov, KTH Royal Institute of Technology, Sweden.
• Heiko Mantel, TU Darmstadt, Germany.
• Leonardo Mariani, University of Milan Bicocca, Italy.
• Fabrizio Montesi, University of Southern Denmark, Denmark.
• Giles Reger, University of Manchester, UK.
• Kostis Sagonas, Uppsala University, Sweden.
• César Sánchez, IMDEA Software Institute, Spain.
• Gerardo Schneider, Chalmers University of Technology, University of Gothenburg, Sweden.
• Yannis Smaragdakis, University of Massachusetts Amherst, US.
• Emilio Tuosto, University of Leicester, UK.

Finally, we also thank the iFM 2017 organisers, the workshop participants and the EPTCS staff.