Re: [NEW] cbmc - Bounded Model Checker for C and C++

[Jeremie Courreges-Anglas]

cbmc has been imported.

Thanks,
-- 
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF  DDCC 0DFA 74AE 1524 E7EE