×

Found 17 Documents (Results 1–17)

Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. (English) Zbl 1517.68010

Lecture Notes in Computer Science 13881. Cham: Springer (ISBN 978-3-031-24949-5/pbk; 978-3-031-24950-1/ebook). x, 389 p. (2023).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Verifying visibility-based weak consistency. (English) Zbl 1508.68064

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, 280-307 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monitoring weak consistency. (English) Zbl 1511.68181

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, 487-506 (2018).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Proving linearizability using forward simulations. (English) Zbl 1494.68067

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 542-563 (2017).
MSC:  68P05 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying robustness of event-driven asynchronous programs against concurrency. (English) Zbl 1485.68054

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 170-200 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Symbolic abstract data type inference. (English) Zbl 1347.68245

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 513-525 (2016).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Tractable refinement checking for concurrent objects. (English) Zbl 1345.68096

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 651-662 (2015).
MSC:  68N30 03B70 68W25
PDFBibTeX XMLCite
Full Text: DOI

Analysis of asynchronous programs with event-based synchronization. (English) Zbl 1335.68053

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, 535-559 (2015).
MSC:  68N30 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On reducing linearizability to state reachability. (English) Zbl 1395.68089

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47665-9/pbk; 978-3-662-47666-6/ebook). Lecture Notes in Computer Science 9135, 95-107 (2015).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying concurrent programs against sequential specifications. (English) Zbl 1381.68048

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, 290-309 (2013).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Analysis of recursively parallel programs. (English) Zbl 1321.68184

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 203-214 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

Bounded phase analysis of message-passing programs. (English) Zbl 1352.68057

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, 451-465 (2012).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Delay-bounded scheduling. (English) Zbl 1284.68087

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 411-422 (2011).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Verifying reference counting implementations. (English) Zbl 1234.68254

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 352-367 (2009).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

Verifying compensating transactions. (English) Zbl 1132.68468

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 29-43 (2007).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Decision problems for the verification of real-time software. (English) Zbl 1178.68340

Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 200-211 (2006).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software