Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Correct and Efficient Antichain Algorithms for Refinement Checking   The notion of refinement plays an important role in software engineering. It
is the basis of a stepwise development methodology in which the correctness of
a system can be established by proving, or computing, that a system refines its
specification. Wang et al. describe algorithms based on antichains for
efficiently deciding trace refinement, stable failures refinement and
failures-divergences refinement. We identify several issues pertaining to the
soundness and performance in these algorithms and propose new, correct,
antichain-based algorithms. Using a number of experiments we show that our
algorithms outperform the original ones in terms of running time and memory
usage. Furthermore, we show that additional run time improvements can be
obtained by applying divergence-preserving branching bisimulation minimisation.

26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin