Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Is CADP an Applicable Formal Method?   CADP is a comprehensive toolbox implementing results of concurrency theory.
This paper addresses the question, whether CADP qualifies as an applicable
formal method, based on the experience of the authors and feedback reported by
users.

14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex