Pascal Baumann 0001, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche. Context-Bounded Analysis of Concurrent Programs (Invited Talk). In Kousha Etessami, Uriel Feige, Gabriele Puppis, editors, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany. Volume 261 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.