×

Found 26 Documents (Results 1–26)

Traits: correctness-by-construction for free. (English) Zbl 1499.68067

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 131-150 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Product programs in the wild: retrofitting program verifiers to check information flow security. (English) Zbl 1493.68106

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 718-741 (2021).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

RustHorn: CHC-based verification for Rust programs. (English) Zbl 1508.68071

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 484-514 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automating deductive verification for weak-memory programs. (English) Zbl 1423.68111

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 190-209 (2018).
MSC:  68N30 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

From rewriting logic, to programming language semantics, to program verification. (English) Zbl 1321.68337

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 598-616 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Mostly sound type system improves a foundational program verifier. (English) Zbl 1426.68045

Gonthier, Georges (ed.) et al., Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8307, 17-32 (2013).
MSC:  68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Correctness of pointer manipulating algorithms illustrated by a verified BDD construction. (English) Zbl 1372.68062

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 202-216 (2012).
MSC:  68N30 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Loop invariant symbolic execution for parallel programs. (English) Zbl 1326.68106

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 412-427 (2012).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dafny: an automatic program verifier for functional correctness. (English) Zbl 1253.68095

Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 – May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 348-370 (2010).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dynamic boundaries: information hiding by second order framing with first order assertions. (English) Zbl 1260.68112

Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 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-11956-9/pbk). Lecture Notes in Computer Science 6012, 2-22 (2010).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Shape analysis of low-level C with overlapping structures. (English) Zbl 1273.68086

Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 214-230 (2010).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software