Validation can be expressed by the query "Are you building the right thing?" and verification by "Are you building it right?" Source Wikipedia
ProxyPort cases - ADVANCED TOPIC Gallery Tutorial TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo Section 09:06: ProxyPorts and FullPorts Slide kind SysML Block Definition Diagram (BDD)
MD SysML and Cameo 19SP3 can't yet validate provided/required Feature subsets (such as Features of one Block against Features of multiple Ports)
