846 search results - page 16 / 170 » Rewrite-Based Decision Procedures |
137
click to vote
LPAR
2005
Springer
15 years 10 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...
157
click to vote
VSTTE
2005
Springer
15 years 10 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...
126
click to vote
CAV
2004
Springer
15 years 10 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
15 years 10 months ago
2004
Springer
CCS
2004
ACM
15 years 10 months ago
2004
ACM
