Published: 23rd August 2017
DOI: 10.4204/EPTCS.254
ISSN: 2075-2180


Proceedings Second International Workshop on
Pre- and Post-Deployment Verification Techniques
Torino, Italy, 19 September 2017

Edited by: Adrian Francalanza and Gordon J. Pace

Adrian Francalanza and Gordon J. Pace
A Story of Parametric Trace Slicing, Garbage and Static Analysis
Giles Reger
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir
Control-Flow Residual Analysis for Symbolic Automata
Shaun Azzopardi, Christian Colombo and Gordon J. Pace
Exploring the Link Between Test Suite Quality and Automatic Specification Inference
Luke Chircop, Christian Colombo and Mark Micallef
Fragmented Monitoring
Oscar Cornejo, Daniela Briola, Daniela Micucci and Leonardo Mariani
Reliability and Fault-Tolerance by Choreographic Design
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto


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:

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

Adrian Francalanza
Gordon J. Pace
July 2017