verificationPostcondition
Summary
Verification postcondition that are true immediately after a verification method has been performed
Description
Verification postcondition are explicit criteria, states, or conditions that are true immediately after a verification method (such as a test, inspection, or analysis) has been performed, confirming the successful execution and complete outcomes of the verification.
Metadata
https://spdx.org/rdf/3.1/terms/FunctionalSafety/verificationPostcondition
| Name | verificationPostcondition |
| Nature | DataProperty |
| Range | xsd:string |