Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verification of Asynchronous Systems with an Unspecified Component   Component-based systems evolve as a new component is added or an existing one
is replaced by a newer version. Hence, it is appealing to assure the new system
still preserves its safety properties. However, instead of inspecting the new
system as a whole, which may result in a large state space, it is beneficial to
reuse the verification results by inspecting the newly added component in
isolation. To this aim, we study the problem of model checking component-based
asynchronously communicating systems in the presence of an unspecified
component against safety properties. Our solution is based on assume-guarantee
reasoning, adopted for asynchronous environments, which generates the weakest
assumption. If the newly added component conforms to the assumption, then the
whole system still satisfies the property. To make the approach efficient and
convergent, we produce an overapproximated interface of the missing component
and by its composition with the rest of the system components, we achieve an
overapproximated specification of the system, from which we remove those traces
of the system that violate the property and generate an assumption for the
missing component.
  We have implemented our approach on two case studies. Furthermore, we
compared our results with the state of the art direct approach. Our resulting
assumptions are smaller in size and achieved faster.

12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom