Frama and Post & Go