Documents Savoirs Decision Procedures for the Formal Analysis of Software [3mm ... D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen