SPARK Pro

E956201 UNEXPLORED

SPARK Pro is a high-assurance software development and verification toolset from AdaCore for writing mathematically proven, safety- and security-critical Ada programs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
SPARK Pro canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

AdaCore → product → SPARK Pro ⓘ