6608 search results - page 55 / 1322 » On the Completeness of Model Checking |
107
Voted
JSYML
2000
15 years 17 days 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...
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
15 years 6 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...
64
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
87
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
68
Voted
AVBPA
2003
Springer
15 years 6 months ago
2003
Springer
