Context-bounded analysis for concurrent programs with dynamic creation of threads

DOI10.2168/LMCS-7(4:4)2011MaRDI QIDQ3224694zbMATH OpenOpenAlexFDO

Authors Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

Publication date 2 April 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-7(4:4)2011

zbMATH Keywords

program verificationpushdown systemsreachability analysis

Mathematics Subject Classification ID

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

Recommendations

• Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• Reducing concurrent analysis under a context bound to sequential analysis
• Interprocedural Analysis of Concurrent Programs Under a Context Bound

Cited in

(21)

• Reducing concurrent analysis under a context bound to sequential analysis
• A theory of formal synthesis via inductive learning
• Reachability in pushdown register automata
• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• Parameterized Verification of Communicating Automata under Context Bounds
• 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 7204383 (Why is no real title available?)
• On the Complexity of Bounded Context Switching.
• Verification of asynchronous programs with nested locks
• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Decidable models of integer-manipulating programs with recursive parallelism
• Are bundles good deals for first-order modal logic?
• Existential Definability over the Subword Ordering
• Round- and context-bounded control of dynamic pushdown systems
• Phase-bounded broadcast networks over topologies of communication
• Directed regular and context-free languages
• Priority downward closures

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Context-bounded analysis for concurrent programs with dynamic creation of threads

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