b'\n_START_ARTICLE_\nSPIN\n_START_PARAGRAPH_\nSPIN (angl. Simple Promela Interpreter) - bendro pob\xc5\xabd\xc5\xbeio priemon\xc4\x97s, skirtos grie\xc5\xbetai ir da\xc5\xbeniausiai automatizuotai patikrinti, ar platinamos programin\xc4\x97s \xc4\xafrangos modelis yra teisingas.\n_START_SECTION_\nIstorija\n_START_PARAGRAPH_\nSPIN buvo para\xc5\xa1yta Gerard J. Holzmann ir kit\xc5\xb3 Unix grup\xc4\x97s asmen\xc5\xb3 dirban\xc4\x8di\xc5\xb3 Kompiuterini\xc5\xb3 technologij\xc5\xb3 tyrim\xc5\xb3 centre "Bell Labs", 1980 m. prad\xc5\xbeioje._NEWLINE_Nuo 1991 m. prieinama laisvai._NEWLINE_Nuo ma\xc5\xbedaug 1995 m. buvo rengiami metiniai SPIN seminarai vartotojams, mokslininkams, besidomintiems modeli\xc5\xb3 tikrinimu._NEWLINE_2001 m. Kompiuterin\xc4\x97s technikos asociacija apdovanojo SPIN savo programin\xc4\x97s \xc4\xafrangos apdovanojimu.'