Formal Verification of a Rust-Based Buddy Physical Memory Allocator

Lecture notes in computer science 2026

View at publisher
Authors: S J Wang, Yue Wang, Qianying Zhang, Weituo Dai, Tianao Xie, Shijun Zhao, Yongwang Zhao
DOI: 10.1007/978-3-032-30693-7_5
Cited by: 1
References: 14

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Distributed systems and fault tolerance

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
73–80
Publication date
2 July 2026
Language
EN