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