Detecting livelocks
Hello,
I would be grateful if you would tell me how to detect livelock in SysML state machine diagrams using TTool.
Thanks in anticipation
Pierre de Saqui-Sannes
ISAE-SUPAERO, Toulouse, France
Submitted by external user pdss@isae-supaero.fr