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

 (github.com)

3 points | by VindanaSandun 10 hours ago ago

1 comments