Summarizing procedures in concurrent programs
From MaRDI portal
model checkingpushdown systemsreductiontransactionsconcurrent programsprocedure summariesinterprocedural dataflow analysis
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
Cited in
(12)- Underapproximation of procedure summaries for integer programs
- Summarization for termination: No return!
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Multithreaded testing of program interfaces
- Budget-bounded model-checking pushdown systems
- Computing Procedure Summaries for Interprocedural Analysis
- Programming Languages and Systems
- Verifying multithreaded recursive programs with integer variables
- Reducing concurrent analysis under a context bound to sequential analysis
- Generating precise and concise procedure summaries
- Verification of SpecC using predicate abstraction
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
This page was built for publication: Summarizing procedures in concurrent programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452264)
