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

 (github.com)

3 points | by VindanaSandun 1 hour ago

1 comments