SPARK Annotation Language

SPARK Annotation Language

(language)
(SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?