Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
26 by snaky | 2 comments on Hacker News.
New top story on Hacker News: Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Related Posts
New top story on Hacker News: Scientists rise up against statistical significance
New top story on Hacker News: Four Wikipedias to ‘Black Out’ over EU Copyright Directive
New top story on Hacker News: Most Wasabi Is Fake [video]
New top story on Hacker News: Oculus Rift S
New top story on Hacker News: The Render Ghosts
0 comments: