Bounded Model Checking for ANSI-C
Eclipse Plugin for CBMC
The new plugin is
here
!