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