Feasibility of ACVC validation with respect to the ADA formal definition

This report refers to the workpackage S whose purpose is "to ascertain the extent to which the Ada FD may serve as the direct, or indirect basis for a validation of the ACVC test suite". The problem has been studied from a more general point of view, looking at the relations between the ACVC tests, the language reference manual definition and the formal definition. In the end, the direct executability of the formal definition, which is addressed in a separate report [FGIM 87], is studied in relation to the problem of verifying the relative conformance of the ACVC and the Ada formal definition. Lingua documento