Document Search Results

from until

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Bruttomesso, Roberto; Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Sebastiani, Roberto

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. (English) Zbl 1192.68627

Ann. Math. Artif. Intell. 55, No. 1-2, 63-99 (2009).

MSC: 68T15 68T20

Cite Review PDF

Full Text: DOI Link

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

Journal Articles (1)
Collection Articles (1)

all top 5

Author

Year of Publication

2009 (1)
2007 (1)

Main Field

68-XX (2)

all top 3

Software

SIMPLIFY (2)
CVC Lite (1)
ESC/Java (1)
ICS (1)
MathSAT (1)
Spec# (1)
TVLA (1)
Yices (1)
Zapato (1)
cvc3 (1)