https://hackerpaper.kaipfister.de/p/2003.11689/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=34936485urn:hackerpapers:mention:2003.11689:34936485Sat, 25 Feb 2023 13:25:07 GMT<p>Good reference, I had actually starred that on github to refer to later and totally forgot about it. Do you know of a review of the various open source verification tools available for C? The ones I&#x27;m aware of: CBMC, Frama-C, VeriFast, ESBMC. I&#x27;ve found papers like [1] which benchmark various model checkers, but no evaluation of the verification effort required for the various approaches. Edit: the tutorial for VeriFast does not make it look very usable compared to Frama-C&#x27;s ACSL language. Their tutorial doesn&#x27;t explain a bunch of the syntax or why they made certain choices, so it all feels…</p><p><a href="https://hackerpaper.kaipfister.de/p/2003.11689/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO