Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS.

Yongwang Zhao, David Sann

Browse the full CAV paper archive.