The Edit Verification command allows you to define the collection of elements that verify the selected element. The command opens a target window on the verified by relation from which you can add or remove elements as desired.
 |
Tips and Tricks If you simply wish to add verification requirements to an element, often this can be accomplished most quickly by dragging and dropping from the diagram palette - either by dragging the Verification Requirements construct from the Constructs tab or by dragging the specific verification requirement to be added from the Key Entities tab. |