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

.. _sec-process:

=======
Process
=======

This section defines the steps of the SPARK-based process defined in
this document.

It is expected that this process will be applied only to a subset of
the software units (that subset will be identified in the
:ref:`step-identify-activity-scope` process step described below).

.. toctree::
   process/traceability
   process/unit-requirements
   process/unit-design
   process/unit-implementation
   process/unit-verification
   process/integration-verification