Priority Inheritance Protocol Proved Correct

DOI10.1007/978-3-642-32347-8_15zbMath1360.68772OpenAlexW2995006832MaRDI QIDQ2914744

Chunhan Wu, Christian Urban, Xing-Yuan 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)

Related Items (2)

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

Uses Software

• Unnamed Item

This page was built for publication: Priority Inheritance Protocol Proved Correct