51 search results - page 2 / 11 » cade 2008 |
CADE
2008
Springer
14 years 4 months ago
2008
Springer
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.
CADE
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...