Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 2nd Workshop on Formal Methods in the Development of
  Software   This volume contains the proceedings of the 2nd WorkShop on Formal Methods in
the Development of Software (WS-FMDS 2012). The workshop was held in Paris,
France on August 30th, 2012 as a satellite event to the 18th International
Symposium on Formal Methods (FM-2012).
  The aim of WS-FMDS 2012 is to provide a forum for researchers who are
interested in the application of formal methods on systems which are being
developing with a software methodology. In particular, this workshop is
intended to bring together scientists and practitioners who are active in the
area of formal methods and interested in exchanging their experiences in the
industrial usage of these methods. This workshop also strives to promote
research and development for the improvement of formal methods and tools for
industrial applications.

12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci