Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques

TL;DR

This workshop focused on exploring the connections and advancements in verification techniques used before and after deploying software systems, emphasizing their integration and interplay.

Contribution

It brought together researchers to discuss the relationships between various verification methods like model checking, testing, runtime verification, and type systems.

Findings

Identified links between static and dynamic verification methods.

Highlighted the integration of model checking and runtime verification.

Explored the role of type systems in pre- and post-deployment validation.

Abstract

The PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring.