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.
YAKINDU Statechart Tools are used in many ways – sometimes even to tune a boy scout's Pinewood Car!
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
Do you know that you can simulate your statechart models with YAKINDU Statechart Tools? Svenja Wendler shows you how.
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.
YAKINDU Statechart Tools has so many useful features. This month we want to show you how to style your statecharts!
Enterprise Architect, Matlab Simulink, Stateflow oder doch YAKINDU Statechart Tools? Welches Modellierungstool ist das beste für Euer Projekt?
Euer Modellierungstool macht euch nicht richtig glücklich? Dann solltet ihr über ein Refactoring eurer Werkzeugkette nachdenken.
YAKINDU Statechart Tools have a lot of useful features – but refactoring statechart models is our feature of the month.
Moore, Mealy, Harel and UML – take a look at the different state machine types!
