Summarizing procedures in concurrent programs
From MaRDI portal
concurrent programsinterprocedural dataflow analysismodel checkingprocedure summariespushdown systemsreductiontransactions
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)- Reducing concurrent analysis under a context bound to sequential analysis
- Verification of SpecC using predicate abstraction
- Multithreaded testing of program interfaces
- Generating precise and concise procedure summaries
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Budget-bounded model-checking pushdown systems
- Verifying multithreaded recursive programs with integer variables
- Programming Languages and Systems
- Underapproximation of procedure summaries for integer programs
- Computing Procedure Summaries for Interprocedural Analysis
- Summarization for termination: No return!
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)
