1497 search results - page 139 / 300 » Extended static checking |
107
click to vote
DATE
2003
IEEE
15 years 7 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...
118
click to vote
FCT
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
117
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
111
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
EACL
2003
ACL Anthology
15 years 3 months ago
2003
ACL Anthology
In this paper we present a proposal to extend WordNet-like lexical databases by adding phrasets, i.e. sets of free combinations of words which are recurrently used to express a co...