SPARK language toolset
E956210
UNEXPLORED
SPARK language toolset is a formally verifiable subset and toolchain for the Ada programming language designed to enable high-assurance, safety- and security-critical software development.
All labels observed (1)
| Label | Occurrences |
|---|---|
| SPARK language toolset canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.