×

Found 33 Documents (Results 1–33)

Counterexample guided inductive synthesis modulo theories. (English) Zbl 1511.68064

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 270-288 (2018).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Lifting CDCL to template-based abstract domains for program verification. (English) Zbl 1495.68139

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 307-326 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Modular demand-driven analysis of semantic difference for program versions. (English) Zbl 1420.68076

Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 405-427 (2017).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Formalizing and checking thread refinement for data-race-free execution models. (English) Zbl 1420.68072

Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 515-530 (2016).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Propositional reasoning about safety and termination of heap-manipulating programs. (English) Zbl 1335.68051

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 661-684 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unrestricted termination and non-termination arguments for bit-vector programs. (English) Zbl 1335.68050

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 183-204 (2015).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using program synthesis for program analysis. (English) Zbl 1471.68056

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 483-498 (2015).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning the language of error. (English) Zbl 1471.68101

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 114-130 (2015).
MSC:  68Q32 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Model and proof generation for heap-manipulating programs. (English) Zbl 1405.68072

Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 432-452 (2014).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI

Abstract conflict driven learning. (English) Zbl 1301.68156

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 143-154 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Abstraction of syntax. (English) Zbl 1426.68157

Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 396-413 (2013).
MSC:  68Q55 68N30
PDFBibTeX XMLCite
Full Text: DOI

Counterexample-guided precondition inference. (English) Zbl 1381.68180

Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). Lecture Notes in Computer Science 7792, 451-471 (2013).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

Efficient coverability analysis by proof minimization. (English) Zbl 1364.68138

Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 500-515 (2012).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Numeric bounds analysis with conflict-driven learning. (English) Zbl 1352.68060

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 48-63 (2012).
MSC:  68N30 65G40
PDFBibTeX XMLCite
Full Text: DOI

Loop summarization and termination analysis. (English) Zbl 1315.68106

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 81-95 (2011).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4–7, 2010. Revised selected papers. (English) Zbl 1209.68002

Lecture Notes in Computer Science 6504. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). x, 197 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Mutation-based test case generation for Simulink models. (English) Zbl 1312.68130

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 208-227 (2010).
MSC:  68Q60 68N99
PDFBibTeX XMLCite
Full Text: DOI

Ranking function synthesis for bit-vector relations. (English) Zbl 1284.68172

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, 236-250 (2010).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

Approximating predicate images for bit-vector logic. (English) Zbl 1180.68175

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, 242-256 (2006).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Symbolic model checking for asynchronous Boolean programs. (English) Zbl 1151.68367

Godefroid, Patrice (ed.), Model checking software. 12th international SPIN workshop, San Francisco, CA, USA, August 22–24, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28195-9/pbk). Lecture Notes in Computer Science 3639, 75-90 (2005).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Cogent: Accurate theorem proving for program verification. (English) Zbl 1081.68673

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, 296-300 (2005).
MSC:  68T15 68N99 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Proving the correctness of processors with delayed branch using delayed PC. (English) Zbl 0956.68520

Althöfer, Ingo (ed.) et al., Numbers, information and complexity. Dedicated to Rudolf Ahlswede on the occasion of his 60th birthday. Dordrecht: Kluwer Academic Publishers. 579-588 (2000).
MSC:  68Q60 68N99
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software