31 search results - page 7 / 7 » On the Generation of Functional Test Programs for the Cache ... |
CADE
2004
Springer
14 years 4 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...