Priority inheritance protocol proved correct

DOI10.1007/978-3-642-32347-8_15zbMATH Open1360.68772OpenAlexW2995006832MaRDI QIDQ2914744FDOQ2914744

Authors: Christian Urban, Chunhan Wu, Xingyuan Zhang 

Publication date: 20 September 2012

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/priority-inheritance-protocol-proved-correct(97daf087-4f9f-4689-90d0-8743ea85ff61).html

Recommendations

• Priority inheritance protocol proved correct
• scientific article
• Analysis and implementation of the multiprocessor bandwidth inheritance protocol
• A simple proof technique for priority-scheduled systems
• Verifying a scheduling protocol of safety-critical systems

zbMATH Keywords

real-time systemsIsabelle/HOLpriority inheritance protocolformal correctness proof

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (2)

• A Formal Model and Correctness Proof for an Access Control Policy Framework
• Priority inheritance protocol proved correct

Uses Software

• Isabelle/HOL

This page was built for publication: Priority inheritance protocol proved correct

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