Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Second International Workshop on Pre- and Post-Deployment
  Verification Techniques   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.

2
The categories of this paper are: math
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas