Is the content free from tools, links to PMP? (Release: E10/2025)

[pahmann]

Subtask of parent issue.

We need to go through the verification process and review there is no mentioning of specific tools. Locations of mentions have to be documented in this ticket first. Afterwards in case tools are mentioned a PR shall be created to rework the specific mentioning of tools.

This may also imply to have a PR in score to update the Verification Plan as part of the Project Management Plan (PMP)

[Patrick2205]

@pahmann I read the chapter of Verification and the only findings of tool related names were:

• Programming language: rust, python, c++
• Testing tools: rust, python, gTest
• Doc tools: Sphinx needs
• IT related abbreviations: CI , PR

All of those are either general terms or selected specifically by the S-CORE Project.

Minor unrelated finding: DFA (Dependent Failure Analysis) seems to be nowhere explained and might be ambiguous outside the automotive domain.

[pahmann]

Recheck against #33
PlantUML: no mentions under verification
doxygen: no mentions under verificaiton
sphinx: mentioned in "Process Requirements", "Test Specification Guideline"
pytest: Concept Description, Getting Started, Verification Templates --> Some of them will remain and referred to as "samples"

Also found:
ITF,