Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS.

Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu

Browse the full ISORC paper archive.