Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Institution-based Encoding and Verification of Simple UML State Machines
  in CASL/SPASS   This paper provides the first correct semantical representation of UML
state-machines within the logical framework of an institution (previous
attempts were flawed). A novel encoding of this representation into first-order
logic enables symbolic analyses through a multitude of theorem-provers.
  UML state-machines are central to model-based systems-engineering. Till now,
state-machine analysis has been mostly restricted to model checking, which for
state-machines suffers heavily from the state-space explosion problem. Symbolic
reasoning, as enabled and demonstrated here, provides a powerful alternative,
which can deal with large or even infinite state spaces.
  Full proofs are given.

35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg