Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Transforming ASN.1 Specifications into CafeOBJ to assist with Property
  Checking   The adoption of algebraic specification/formal method techniques by the
networks' research community is happening slowly but steadily. We work towards
a software environment that can translate a protocol's specification, from
Abstract Syntax Notation One (ASN.1 - a very popular specification language
with many applications), into the powerful algebraic specification language
CafeOBJ. The resulting code can be used to check, validate and falsify critical
properties of systems, at the pre-coding stage of development. In this paper,
we introduce some key elements of ASN.1 and CafeOBJ and sketch some first steps
towards the implementation of such a tool including a case study.

13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys