In addition to model-checking, SPIN can also operate as a simulator, following one possible execution path through the system and presenting the resulting execution trace to the user.
Be modelio patikrinimo, SPIN taip pat gali veikti kaip simuliatorius, sekti vieną pasirinktą vygdymo kelią per sistemą ir pateikti užfiksuotus vykdymo rezultatus vartotojui.