Hacker News new | ask | show | jobs
NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (github.com)
2 points by ivanperez-keera 913 days ago