[comp.lang.ada] Ada validation?

tenny@iuvax.cs.indiana.edu (12/13/88)

  Could someone explain *precisely* what is involved in the validation process
for an Ada compiler?  

  Thanks!

                                                                  -larry