Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads

DOI10.1007/978-3-642-00768-2_11zbMath1234.68068arXiv1111.1011OpenAlexW2148778089MaRDI QIDQ3617755

Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.1011

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond ⋮ Small vertex cover makes Petri net coverability and boundedness easier ⋮ Reachability of scope-bounded multistack pushdown systems ⋮ Bounded Context Switching for Valence Systems ⋮ Context-Bounded Analysis of TSO Systems ⋮ General decidability results for asynchronous shared-memory programs: higher-order and beyond ⋮ Fine-grained complexity of safety verification ⋮ Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations ⋮ Reasoning about Threads with Bounded Lock Chains

Cites Work

• The covering and boundedness problems for vector addition systems
• Expand, enlarge and check: new algorithms for the coverability problem of WSTS
• Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• Automated Deduction – CADE-20
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Automata, Languages and Programming
• Tools and Algorithms for the Construction and Analysis of Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item

This page was built for publication: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads