846 search results - page 16 / 170 » Rewrite-Based Decision Procedures |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
CCS
2004
ACM
14 years 3 months ago
2004
ACM
