Static Analysis of Concurrent Programs Using Ordinary Differential Equations

DOI10.1007/978-3-642-03466-4_1MaRDI QIDQ3393397zbMATHOpenAlexFDO

Authors Zuohua Ding

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_1

zbMATH Keywords

ordinary differential equationdeadlock detectionconcurrent programstate explosionboundedness checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An automatic technique for static deadlock prevention
• scientific article; zbMATH DE number 1948384
• A generic approach to the static analysis of concurrent programs with procedures
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
• Checking system boundedness using ordinary differential equations

Cited in

(3)

• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Dynamic matrices and the cost analysis of concurrent programs
• Checking system boundedness using ordinary differential equations

This page was built for publication: Static Analysis of Concurrent Programs Using Ordinary Differential Equations

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