(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)