Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures

DOI10.1007/978-3-540-73368-3_24MaRDI QIDQ5429323zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer

Publication date 29 November 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73368-3_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
• Context-bounded analysis for concurrent programs with dynamic creation of threads
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• scientific article; zbMATH DE number 1834570
• Reducing concurrent analysis under a context bound to sequential analysis

Cited in

(13)

• Reducing concurrent analysis under a context bound to sequential analysis
• Dead code elimination based pointer analysis for multithreaded programs
• Reachability of scope-bounded multistack pushdown systems
• Reachability in pushdown register automata
• Reachability of multistack pushdown systems with scope-bounded matching relations
• Context-bounded analysis for concurrent programs with dynamic creation of threads
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
• Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
• scientific article; zbMATH DE number 1834570 (Why is no real title available?)
• Bounded context-switching and reentrant locking
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Context-Bounded Analysis of Concurrent Queue Systems

Describes a project that uses

Uses Software

• veriSoft

This page was built for publication: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures

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