Extensions.StateMachineProcedure.StateMachineProcedureChk011
Jump to navigation
Jump to search
Classification
| Name | StateMachineProcedure_Chk011 |
| Class | StateMachineProcedure |
| Severity | Critical |
| SpecifiedBy | ISO 13209-4 |
Description
States in a state machine to which there is no path through the control flow will not be allowed.
