most citedFormalizing UML State Machines for Automated Verification -- A Survey

29 citations · 29 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 29 cited

Formalizing UML State Machines for Automated Verification -- A Survey

Étienne André, Shuang Liu, Yang Liu +3

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…