3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Kroening, Peter Schrammel, Michael Tautschnig
The C Bounded Model Checker (CBMC) demonstrates the violation of assertions in C programs, or proves safety of the assertions under a given bound. CBMC implements a bit-precise tra…