Acme++: tool which computes stabilization monoids in order to solve three algorithmic problems: Computing the star-height of a regular language, deciding boundedness and equivalence for regular cost functions and deciding whether a leaktight probabilistic automaton has value 1.