Witam
Właśnie zacząłem naukę języka Spin Model Checker. Zainstalowałem sobie środowisko iSpin. Gdy na przykładowym pliku próbowałem zrobić "Syntax check" to wyskakuje następujący błąd: 'spin' is not recognized as an internal or external command,
operable program or batch file.
Gdy w zakładce Simulate / Replay klikam (Re)Run to wyskakuje błąd: couldn't execute "spin": no such file or directory.
Czy może mi ktoś pomóc w rozwiązaniu wymienionych błędów ?
kod źródłowy umieszczam w załącznikach