Abd-El-Hafiz, S.K.Basili, Victor R.en-USprogram understandingreverse engineeringloopspredicate logicformal software developmentA Tool for Assisting the Understanding and Formal Development of SoftwareTechnical Report