We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input forma Tool support for ... Finally, we ...

It's an effort to facilitate the academicians and research community working on UML models (specially activity diagrams) to validate there algorithms/work that demands concurrency in activity diagram.

Abstract: We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker ...