Delphine Demange and David Pichardie have been working with Gilles Barthe from IMDEA Software, Madrid, Spain about the new verified SSA middle-end.