Stereotype SysML::Verify
Description:
Direct Superclasses: TraceExtended Metaclasses: AbstractionDirect Subclasses: Properties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=98603%3A256EBF6DDDD9D8D273BE6C7EF29F2F9E)
base_Abstraction :
Abstraction (1 1); -- source
TraceConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].