Hacker News new | ask | show | jobs
Crux: Our new open-source tool for software verification (galois.com)
3 points by onlydnaq 2059 days ago