SPARK Annotation Language

from The Free On-line Dictionary of Computing (8 July 2008)

SPARK Annotation Language

   <language> (SAL) {ICL}, Ltd.  Used in the verification of
   {SPARK} programs against {Z} specifications.

   (1994-12-08)