Hacker News new | ask | show | jobs
ATS2 and VeriFast avoid some of FreeBSD vulnerabilities (metasepi.org)
1 points by masterq 2073 days ago