There is a running trial copy. AMuZed 및 ZooM AMuZed는 많이 차트 또는 마이크로차트를 만들기 위한 그래픽 편집 도구입니다. mucharts consist of the welldefined part of the Statecharts found in UML in that they have a semantics and, via the Z translation, a logic too.