×

Found 4 Documents (Results 1–4)

Deciding separation logic formulae by SAT and incremental negative cycle elimination. (English) Zbl 1143.68583

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 322-336 (2005).
MSC:  68T15 03B35 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

F-Soft: Software verification platform. (English) Zbl 1081.68581

Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 301-306 (2005).
MSC:  68N99 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Localization and register sharing for predicate abstraction. (English) Zbl 1087.68593

Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 397-412 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software