×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto

Interpolant generation for UTVPI. (English) Zbl 1250.68186

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 167-182 (2009).
MSC:  68Q60 03B35 03C40
Cite Review PDF
Full Text: DOI
Rakamarić, Zvonimir; Bruttomesso, Roberto; Hu, Alan J.; Cimatti, Alessandro

Verifying heap-manipulating programs in an SMT framework. (English) Zbl 1141.68484

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 237-252 (2007).
MSC:  68Q60 68N30 68T15
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

all top 3

Software