6608 search results - page 55 / 1322 » On the Completeness of Model Checking |
133
click to vote
JSYML
2000
15 years 3 months ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
113
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
15 years 9 months ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
AVBPA
2003
Springer
15 years 9 months ago
2003
Springer
