Context-bounded analysis of concurrent programs (invited talk)

DOI10.4230/LIPICS.ICALP.2023.3MaRDI QIDQ6637989zbMATH OpenFDO

Authors Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Publication date 14 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2023.3

zbMATH Keywords

context-bounded analysisdecidabilitymulti-threaded programs

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited in

(2)

• Directed regular and context-free languages
• Priority downward closures

This page was built for publication: Context-bounded analysis of concurrent programs (invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637989)