thedevilhimselfcodes/CertAlloc
3 best points · 0 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub
Hacker News discussions
- CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC (3 points, 0 comments, by VindanaSandun, 2026-07-01)