Frama-C summary

Updated Frama-C summary, according to comments in #252