×

Found 13 Documents (Results 1–13)

Trace-based symbolic analysis for atomicity violations. (English) Zbl 1284.68418

Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 328-342 (2010).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

SAT-based verification methods and applications in hardware verification. (English) Zbl 1182.68119

Bernardo, Marco (ed.) et al., Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22–27, 2006. Advanced lectures. Berlin: Springer (ISBN 3-540-34304-0/pbk). Lecture Notes in Computer Science 3965, 108-143 (2006).
MSC:  68Q60 68M07
PDFBibTeX XMLCite
Full Text: DOI

SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. (English) Zbl 1180.68241

Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 135-150 (2006).
MSC:  68T15 03B70 68T27
PDFBibTeX XMLCite
Full Text: DOI

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

DiVer: SAT-based model checking platform for verifying large scale systems. (English) Zbl 1087.68588

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, 575-580 (2005).
MSC:  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

Efficient modeling of embedded memories in bounded model checking. (English) Zbl 1103.68615

Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 440-452 (2004).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Efficient distributed SAT and SAT-based distributed bounded model checking. (English) Zbl 1179.68084

Geist, Daniel (ed.) et al., Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L’Aquila, Italy, October 21–24, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 334-347 (2003).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software