19 search results - page 2 / 4 » tacas 2004 |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...