SPARK Annotation Language

SPARK Annotation Language

(language)(SAL) ICL, Ltd. Used in the verification ofSPARK programs against Z specifications.