SAL[3]

SPARK Annotation Language

ICL, Ltd

A language used in the verification of SPARK programs against Z specifications.