Difference between revisions of "Extensions.StateMachineProcedure.StateMachineProcedureChk007"

From emotive
Jump to navigation Jump to search
(refs #9361)
 
(refs #9361 - change 'shall' to 'will')
 
Line 4: Line 4:
  
 
== Description ==
 
== Description ==
The initial state shall refer to an existing state inside the same procedure.
+
The initial state will refer to an existing state inside the same procedure.

Latest revision as of 04:50, 20 January 2022

Classification

Name StateMachineProcedure_Chk007
Class StateMachineProcedure
Severity Critical
SpecifiedBy ISO 13209-4

Description

The initial state will refer to an existing state inside the same procedure.