GNAT Pro Assurance

E956200 UNEXPLORED

GNAT Pro Assurance is a high-reliability, safety- and security-focused Ada development and verification tool suite from AdaCore used for long-term, certifiable software projects in critical domains.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
GNAT Pro	2
GNAT Pro Assurance canonical	1

Referenced by (3)

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

GNU NYU Ada Translator → hasVariant → GNAT Pro Assurance ⓘ

this entity surface form: GNAT Pro

AdaCore → product → GNAT Pro Assurance ⓘ

this entity surface form: GNAT Pro

AdaCore → product → GNAT Pro Assurance ⓘ