Verify is a relationship metaclass, which signifies a dependency relationship between a Requirement and a VVCase. It shows the relationship when a client VVCase and an optional abstract VVProcedure verifies the supplier Requirement.<br/><br/>Semantics:<br/>The Verify metaclass signifies a refined requirement/verified by relationship between a Requirement and a VVCase, where the modification of the supplier Requirement may impact the verifying client VVCase and optional abstract VVProcedure. The Verify metaclass implies that the semantics of the verifying client VVCase is not complete, without the supplier Requirement. <br/><br/>Notation:<br/>A Verify relationship is shown as a dashed arrow between the Requirements and VVCase.<br/><br/>Extension:<br/>To specializes SysML::Verify, which specializes the UML stereotype Trace, which extends Dependency.<br/><br/>Temporary change in the profile (to overcome bug in Eclipse/UML2 concerning standard stereotypes)<br/>- added extension towards Dependency<br/>- removed generalization link towards SysML::Verify<br/>
