Experience Report on Formally Verifying Parts of OpenJDK's API with KeY · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1811.10818/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTExperience Report on Formally Verifying Parts of OpenJDK's API with KeY — HN submissionhttps://news.ycombinator.com/item?id=18608017urn:hackerpapers:submission:1811.10818:18608017Wed, 05 Dec 2018 13:35:33 GMT<p>Experience Report on Formally Verifying Parts of OpenJDK&#x27;s API with KeY</p><p></p><p>31 points; 2 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1811.10818/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL