Static Analysis of Concurrent Programs Using Ordinary Differential Equations

DOI10.1007/978-3-642-03466-4_1zbMATH Open1250.68090OpenAlexW1516687475MaRDI QIDQ3393397FDOQ3393397

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

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

zbMATH Keywords

ordinary differential equationdeadlock detectionconcurrent programstate explosionboundedness checking

Mathematics Subject Classification ID

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

Cited In (2)

• Deadlock and WCET analysis of barrier-synchronized 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)