2488 search results - page 186 / 498 » An improvement in formal verification |
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
103
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
124
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
139
click to vote
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
The problem of face verification across the short wave infrared spectrum (SWIR) is studied in order to illustrate the advantages and limitations of SWIR face verification. The cont...
ISESE
2002
IEEE
15 years 6 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...