Context-Bounded Analysis of Concurrent Programs

Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam Srinivasan, Ramanathan; Zetzsche, Georg

doi:10.4230/LIPIcs.ICALP.2023.3

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Context-Bounded Analysis of Concurrent Programs

MPS-Authors

/persons/resource/persons274580

Baumann, Pascal
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons266088

Ganardi, Moses
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144534

Majumdar, Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons266086

Thinniyam Srinivasan, Ramanathan
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://drops.dagstuhl.de/opus/volltexte/2023/18055/
(出版社版)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

LIPIcs-ICALP-2023-3.pdf
(出版社版), 886KB

付随資料 (公開)

There is no public supplementary material available

引用

Baumann, P., Ganardi, M., Majumdar, R., Thinniyam Srinivasan, R., & Zetzsche, G. (2023). Context-Bounded Analysis of Concurrent Programs. In K., Etessami, U., Feige, & G., Puppis (Eds.), 50th International Colloquium on Automata, Languages, and Programming (pp. 1-16). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2023.3.

引用: https://hdl.handle.net/21.11116/0000-000D-9783-4

要旨

要旨はありません