2. Bibliography

[GUG]

GNAT User’s Guide for Native Platforms 25.1

[SUG]

SPARK User’s Guide 25.1

[LRM]

Ada Reference Manual (ISO/IEC 8652:2022)

[SRM]

SPARK Reference Manual 25.1

[TFV13]

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

[GSAUG]

GNAT SAS User’s Guide 25.1

[GTUG]

GPRbuild and GPR Companion Tools User’s Guide 25.1

[GSUG]

GNATstack User’s Guide 25.1

[GCRM]

GNATcheck Reference Manual 25.1

[GDM]

GNATDAS Manuals 25.1