add cbmc assets

Signed-off-by: Deatheart <deatheart@yeah.net>
add cppcheck assets

Signed-off-by: Deatheart <deatheart@yeah.net>
add eventb assets

Signed-off-by: Deatheart <deatheart@yeah.net>