.. 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".

########
Preamble
########

This is a collection of several related documents:

* The :ref:`doc-process` (GFDL v1.3) describing a software process
  using `Ada/SPARK <https://www.adacore.com/sparkpro>`_ to meet `ISO
  26262 <https://www.iso.org/publication/PUB200262.html>`_.

* The :ref:`doc-common` document which contains the licenses and
  bibliography.

.. _doc-process:

####################
NVIDIA SPARK Process
####################

.. toctree::
   :maxdepth: 2
   :caption: Process:
   :numbered:

   process/index

.. _doc-common:

######
Common
######

.. toctree::
   :maxdepth: 2
   :caption: Common:
   :numbered:

   lic-gfdl
   bibliography