Formally Verified Software in the Real World (2018)


New top story on Hacker News: Formally Verified Software in the Real World (2018)