Artifact: Verification report [Vehicle]
Relationships
Description
Main Description

The verification report contains the result from verification. Such result consists of a set of requirements associated with a result that states if the requirement is satisfied or not in the solution at hand. The verification report may additionally provide further information on how the satisfiability of a certain requirements was conluded, such as logs and diagrams from analysis tools.


More Information