Crux: Our new open-source tool for software verification(galois.com)

http://galois.com/blog/2020/10/crux-introducing-our-new-open-source-tool-for-software-verification/