2282 search results - page 154 / 457 » Active property checking |
121
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
With the increasing use of Intellectual Property (IP) in the semiconductor industry, the demand to verify IP for quality is high. This paper describes ipscreen, a software tool th...
126
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
116
click to vote
APN
1999
Springer
15 years 8 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
132
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
140
click to vote
SE
2007
15 years 6 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...