Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Syntactic-Semantic Approach to Incremental Verification   Software verification of evolving systems is challenging mainstream
methodologies and tools. Formal verification techniques often conflict with the
time constraints imposed by change management practices for evolving systems.
Since changes in these systems are often local to restricted parts, an
incremental verification approach could be beneficial.
  This paper introduces SiDECAR, a general framework for the definition of
verification procedures, which are made incremental by the framework itself.
Verification procedures are driven by the syntactic structure (defined by a
grammar) of the system and encoded as semantic attributes associated with the
grammar. Incrementality is achieved by coupling the evaluation of semantic
attributes with an incremental parsing technique.
  We show the application of SiDECAR to the definition of two verification
procedures: probabilistic verification of reliability requirements and
verification of safety properties.

27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg