SysML 2.1b1 RTF Avatar
  1. OMG Issue

SYSML21 — Typo in Textual Notation about Verification Cases

Open Closed All
  • Key: SYSML21-420
  • Status: open  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    The textual notation on p. 144, clause 7.24.2 contains a typo:

    kind = VerificationMthodKind::test;

    Missing "e".
  • Reported: SysML 2.0 — Mon, 17 Nov 2025 12:23 GMT
  • Updated: Mon, 17 Nov 2025 12:23 GMT