Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: AsmetaF: A Flattener for the ASMETA Framework   Abstract State Machines (ASMs) have shown to be a suitable high-level
specification method for complex, even industrial, systems; the ASMETA
framework, supporting several validation and verification activities on ASM
models, is an example of a formal integrated development environment. Although
ASMs allow modeling complex systems in a rather concise way -and this is
advantageous for specification purposes-, such concise notation is in general a
problem for verification activities as model checking and theorem proving that
rely on tools accepting simpler notations.
  In this paper, we propose a flattener tool integrated in the ASMETA framework
that transforms a general ASM model in a flattened model constituted only of
update, parallel, and conditional rules; such model is easier to map to
notations of verification tools. Experiments show the effect of applying the
tool to some representative case studies of the ASMETA repository.

18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an