What is a good UML tool?

Dynamic verification will typically involve use of an Executable UML tool to dynamically execute the model concerned, verifying that dynamic interactions within the model are correct. On the pure state machine level, there exists tools like visualSTATEthat can perform a formal model verification and thus identify problematic properites of the state machine that are otherwise impossible to find.