Reachability Analysis of Composed States
Hello,
I believe there might be an issue with the reachability analysis of composed states. While an action gets executed in the simulation, it is considered not reachable by the avatar model checking. I am sending you directly the screenshots of the problem via email.
Sincerely,
Theau Heral
Submitted by external user theau.heral@student.isae-supaero.fr