More on visualSTATE
We will first meet and discuss the tutorial (to get a better grip on visualSTATE) and the various ingrediences in visualSTATE. After this we will go to the PC-Lab to work with the tool on the training material.
See tutorial on IAR visualSTATE '20 State Test License'.Look at training material (notes, slides)
David Harel: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987) -- to be found in binder.