Crux: Our new open-source tool for software verification

3 points| onlydnaq | 5 years ago |galois.com