846 search results - page 146 / 170 » Rewrite-Based Decision Procedures |
115
click to vote
ENTCS
2008
15 years 5 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
113
click to vote
EOR
2008
15 years 5 months ago
2008
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
155
Voted
IANDC
2008
15 years 5 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
114
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
141
Voted
ENTCS
2007
15 years 5 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...