×

Found 8 Documents (Results 1–8)

Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. (English) Zbl 1250.68246

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, 84-99 (2009).
MSC:  68T27 03B35 68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Efficient satisfiability modulo theories via delayed theory combination. (English) Zbl 1081.68610

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, 335-349 (2005).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI

An incremental and layered procedure for the satisfiability of linear arithmetic logic. (English) Zbl 1087.68630

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, 317-333 (2005).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Integrating BDD-based and SAT-based symbolic model checking. (English) Zbl 1057.68623

Armando, Alessandro (ed.), Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43381-3). Lect. Notes Comput. Sci. 2309, 49-56 (2002).
MSC:  68Q60 68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

NuSMV 2: An OpenSource tool for symbolic model checking. (English) Zbl 1010.68766

Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 359-364 (2002).
MSC:  68U99 68Q60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software