verificationPrecondition
Summary
Verification preconditions are initial criteria that are to be met prior to initiating the verification method.
Description
Verification preconditions are specific conditions, requirements, or initial states that are to be satisfied before a verification will be executed.
Metadata
https://spdx.org/rdf/3.1/terms/FunctionalSafety/verificationPrecondition
| Name | verificationPrecondition |
| Nature | DataProperty |
| Range | xsd:string |