Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verifying Temporal Properties of Reactive Systems by Transformation   We show how program transformation techniques can be used for the
verification of both safety and liveness properties of reactive systems. In
particular, we show how the program transformation technique distillation can
be used to transform reactive systems specified in a functional language into a
simplified form that can subsequently be analysed to verify temporal properties
of the systems. Example systems which are intended to model mutual exclusion
are analysed using these techniques with respect to both safety (mutual
exclusion) and liveness (non-starvation), with the errors they contain being
correctly identified.

37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an