Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.

Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang

Browse the full FMICS paper archive.