Monitoring for Deadlock and Blocking in Ada Tasking

DOI10.1109/TSE.1984.5010305MaRDI QIDQ3216131zbMATH OpenFDO

Authors Steven M. German

Publication date 1984

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1984.5010305

zbMATH Keywords

concurrent algorithmsconcurrent programming languagescorrectness proofs of concurrent programsdeadlock detectionprogram transformationssemantics of Ada tasking

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949607
• A Proof System for Ada Tasks
• Two logical methods of deadlock analysis
• A Transformation to Provide Deadlock-Free Programs
• An automatic technique for static deadlock prevention

Cited in

(1)

• scientific article; zbMATH DE number 1949607 (Why is no real title available?)

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Monitoring for Deadlock and Blocking in Ada Tasking

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