CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC

 (github.com)

3 points | by VindanaSandun 2 hours ago

1 comments