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

formal correctness proofIsabelle/HOLpriority inheritance protocolreal-time systems

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)

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

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)