GNAT for C

E956207 UNEXPLORED

GNAT for C is an AdaCore-developed toolchain that brings Ada’s SPARK-based formal verification and safety-critical software assurance techniques to C codebases.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
GNAT for C canonical	1

Referenced by (1)

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

AdaCore → product → GNAT for C ⓘ