3 ms·What do you use?by inputdev 9y agoWhat do you use?nanolith 9y agoFor 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/ http://www.cprover.org/cbmc/