.. Copyright (C) 2024 - 2025 NVIDIA CORPORATION & AFFILIATES
.. Copyright (C) 2021 - 2024 AdaCore
..
.. Permission is granted to copy, distribute and/or modify this document
.. under the terms of the GNU Free Documentation License, Version 1.3 or
.. any later version published by the Free Software Foundation; with the
.. Invariant Sections being "Attribution", with no Front-Cover
.. Texts, and no Back-Cover Texts.  A copy of the license is included in
.. the section entitled "GNU Free Documentation License".

.. raw:: latex

   \cleardoublepage
   \begingroup
   \renewcommand\chapter[1]{\endgro
   up}
   \phantomsection

.. _sec-bibliography:

============
Bibliography
============

.. [GUG] `GNAT User's Guide for Native Platforms 25.1
         <https://docs.adacore.com/R/docs/gnat-25.1/gnat_ugn/html/gnat_ugn/gnat_ugn.html>`_

.. [SUG] `SPARK User's Guide 25.1
         <https://docs.adacore.com/R/docs/gnat-25.1/spark2014/html/spark2014_ug/index.html>`_

.. [LRM] :lrm:`Ada Reference Manual <TOC>`
         (ISO/IEC 8652:2022)

.. [SRM] `SPARK Reference Manual 25.1
         <https://docs.adacore.com/R/docs/gnat-25.1/spark2014/html/spark2014_rm/index.html>`_

.. [TFV13] `Testing or Formal Verification: DO-178C Alternatives and
           Industrial Experience
           <https://www.adacore.com/papers/testing-or-formal-verification-do-178c>`_

.. [GSAUG] `GNAT SAS User's Guide 25.1
          <https://docs.adacore.com/R/docs/gnat-25.1/gnatsas/html/user_guide/index.html>`_

.. [GTUG] `GPRbuild and GPR Companion Tools User's Guide 25.1
          <https://docs.adacore.com/R/docs/gnat-25.1/gprbuild/html/gprbuild_ug/gprbuild_ug.html>`_

.. [GSUG] `GNATstack User's Guide 25.1
          <https://docs.adacore.com/R/docs/gnat-25.1/gnatstack/html/gnatstack_ug/index.html>`_

.. [GCRM] `GNATcheck Reference Manual 25.1
          <https://docs.adacore.com/R/docs/gnat-25.1/lkql/html/gnatcheck_rm/gnatcheck_rm.html>`_

.. [GDM] `GNATDAS Manuals 25.1
         <https://docs.adacore.com/R/docs/gnat-25.1/gnatdas/html/gnatdas_ug/index.html>`_