Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Critical trees: counterexamples in model checking of CSM systems using
  CBS algorithm   The important feature of temporal model checking is the generation of
counterexamples. In the report, the requirements for generation of
counterexample (called critical tree) in model checking of CSM systems are
described. The output of TempoRG model checker for QsCTL logic (a version of
CTL) is presented. A contradiction between counterexample generation and state
space reduction is commented.

26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys