4211 search results - page 715 / 843 » A formal approach to MASQ |
151
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
156
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
163
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
148
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
164
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...