SYSML2_ — Incorrect VerificationMethodKind values in Table 21

In Table 21 on page 136 of the SysML v2 Specification (Beta 2.3, Release 2024-11), incorrect verification method kind names are shown in both the graphical and textual notation examples:

"inspection" is incorrect; it should be "inspect"
"analysis" is incorrect; it should be "analyze"
"demonstration" is incorrect; it should be "demo"

Correct VerificationMethodKind values

As described in the issue indeed incorrect values for kind are given in the representative notation example. In addition, the values should be qualified with the enum def name, i.e. prepended with VerificationMethodKind::.