During its first year, Advance has made significant progress towards its aim of extending the state of the art in the area of validation techniques.