Citation:The 10th International SPIN Workshop on Model Checking Software Portland, OR, USA
Abstract:
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.