METTA RAVINDRA

System and method for detecting unreachable states in a statemate statechart model