CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC(github.com)
3 pointsby VindanaSandun3 hours ago1 comment