Implementação

• Geração de casos de teste para statecharts
• Geração de propriedades formais a partir de casos de teste para statecharts