Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Verification of Multi-Property Designs (The Benefit of Wrong
  Assumptions) (Extended Version)   We consider the problem of efficiently checking a set of safety properties
P1,....,Pk of one design. We introduce a new approach called JA-verification
where JA stands for "Just-Assume" (as opposed to "assume-guarantee"). In this
approach, when proving property Pi, one assumes that every property Pj for j!=i
holds. The process of proving properties either results in showing that
P1,....,Pk hold without any assumptions or finding a "debugging set" of
properties. The latter identifies a subset of failed properties that cause
failure of other properties. The design behaviors that cause the properties in
the debugging set to fail must be fixed first. Importantly, in our approach,
there is no need to prove the assumptions used. We describe the theory behind
our approach and report experimental results that demonstrate substantial gains
in performance, especially in the cases where a small debugging set exists.

35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg