A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

DOI10.1142/S0129054103001893MaRDI QIDQ5696926zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Publication date 19 October 2005

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054103001893

zbMATH Keywords

abstractionconcurrent programs with proceduresKleene algebraspushdown systemsstatic analysisverification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A generic approach to the static analysis of concurrent programs with procedures
• Interprocedural Analysis of Concurrent Programs Under a Context Bound
• Reachability analysis of synchronized PA systems
• scientific article; zbMATH DE number 1948384
• Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous

Cited in

(20)

• Reachability is decidable for weakly extended process rewrite systems
• On the sequential nature of interprocedural program-analysis problems
• scientific article; zbMATH DE number 1670564 (Why is no real title available?)
• A generic approach to the static analysis of concurrent programs with procedures
• Static analysis of communicating processes using symbolic transducers
• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
• Model checking concurrent programs
• Static Analysis of Concurrent Programs Using Ordinary Differential Equations
• Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
• On the Reachability Analysis of Acyclic Networks of Pushdown Systems
• Realizability of Concurrent Recursive Programs
• scientific article; zbMATH DE number 1948384 (Why is no real title available?)
• Unboundedness problems for languages of vector addition systems
• Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
• Bounded communication reachability analysis of process rewrite systems with ordered parallelism
• Verification, Model Checking, and Abstract Interpretation
• \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
• Forwards- and backwards-reachability for cooperating multi-pushdown systems
• A consistency analysis of a class of concurrent transient implicit/explicit algorithms
• Convergence of Newton's method over commutative semirings

This page was built for publication: A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

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