News for hackers. Stuff that matters.

A comment on Proofs and Refutations Using Z3. Parent comment

Re:Proofs and Refutations Using Z3 by nanolith on Thursday February 15, 2018 @05:21PM (#16388305)
For C model checking, I use CBMC. It is a great tool, but it does take some finesse to use well.

http://www.cprover.org/cbmc/

[ Parent | on HN ]

There are no comments on this comment yet.