News for hackers. Stuff that matters.

A comment on Proofs and Refutations Using Z3. Parent comment

Re:Proofs and Refutations Using Z3 by inputdev on Thursday February 15, 2018 @04:35PM (#16387870)
What do you use?
[ Parent | on HN ]
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 ]