abstract
Lo scopo del progetto è quello di implementare l’interazione tra il tool Inspector e la macchina virtuale ReSpecT: più precisamente, si vogliono inserire dei opportuni “hook” all’interno del ciclo di vita della macchina a stati per consentire all’Inspector di metterla in pausa e farla proseguire step-by-step (ad esempio consumando un solo evento e poi aspettando il via dall’Inspector).
outcomes
