Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using
  Alelier-B and ProB)   Tool-assisted analysis of software systems and convenient guides to practise
the formal methods are still motivating challenges. This article addresses
these challenges. We ex periment on analysing a formal specification from
multiple aspects. The B method and the Atelier-B tool are used for formal
specifications, for safety property analysis and for refinements. The ProB tool
is used to supplement the study with model checking; it helps to discover
errors and there fore to improve the former specifications.

37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ