CIFication> (Anna) A speCIFication language developed at Stanford University ca. 1980 for formally speCIFying Ada programs. It has a SpeCIFication Analyzer and a Consistency Checking System. It adds semantic assertions in the form of Ada comments. . ["ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987]. (1994-11-01)