Analysis
Given a Statecharts description, how can one tell if it has some desirable properties?
- For instance, is it deterministic?
- Are there deadlocks?
- And domain-specific properties, too
Perhaps the most promising technology for helping with this is model checking