Priority inheritance protocol proved correct

DOI10.1007/978-3-642-32347-8_15MaRDI QIDQ2914744zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

real-time systemsIsabelle/HOLpriority inheritance protocolformal correctness proof

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Priority inheritance protocol proved correct
• scientific article; zbMATH DE number 53313
• 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

Cited in

(2)

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

Describes a project that uses

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)