In this article we present a model-checking approach for statecharts with YAKINDU Statechart Tools and the Gamma verification framework to achieve failure safety for safety critical applications.
Test driven development is not an option or a buzzword – it's a skill you need to do. We use it for YAKINDU Statechart Tools & our feature of the month SCTUnit
What if a statechart becomes too big to give a comprehensive overview of the whole model anymore? Set up subdiagrams to help you out - we show you how.