Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Some approximations in Model Checking and Testing   Model checking and testing are two areas with a similar goal: to verify that
a system satisfies a property. They start with different hypothesis on the
systems and develop many techniques with different notions of approximation,
when an exact verification may be computationally too hard. We present some
notions of approximation with their logic and statistics backgrounds, which
yield several techniques for model checking and testing: Bounded Model
Checking, Approximate Model Checking, Approximate Black-Box Checking,
Approximate Model-based Testing and Approximate Probabilistic Model Checking.
All these methods guarantee some quality and efficiency of the verification.

25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ