Hacker News new | ask | show | jobs
by nanolith 592 days ago
For C, I recommend CBMC.