A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2305.14752/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification — mentioned by UncleEntityhttps://news.ycombinator.com/item?id=46625081urn:hackerpapers:mention:2305.14752:46625081Wed, 14 Jan 2026 22:53:47 GMT<p>I&#x27;ve been working on this thing where the proofs (using the esbmc library) check the safety properties and the unit tests check the correctness so the state space doesn&#x27;t explode and it takes a year to run the verification. Been working out pretty well so far (aside from spending more time tracking down esbmc bugs than working on my own code) and found some real issues, mostly integer overflow errors but other ones too. Kind of loosely based on the paper &quot;A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification&quot;…</p><p><a href="https://hackerpaper.kaipfister.de/p/2305.14752/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE