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

Feng Zhang Yongwang Zhao Dianfu Ma Wensheng Niu

Published in: ISORC (2019)

Keyphrases

fine grained
formal specification
coarse grained
access control
tightly coupled
database
natural language processing
business rules
formal methods
databases
knowledge base
database systems
web search
reverse engineering
process algebra