Hacker Next
Automated Verification of Monotonic Data Structure Traversals in Carxiv.org
38 points by MarcoDewey 9 days ago | 3 comments