Hacker News new | past | comments | ask | show | jobs | submit login
What4: A library to help build verification and program analysis tools (galois.com)
56 points by lelf 15 days ago | hide | past | favorite | 2 comments



Looks interesting, perhaps I missed it but it is unclear what license it is released under.





Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: