Descrição
Interface gráfica Tcl/Tk para Spin, substituindo a interface antiga xSpin. Ajuda a trabalhar com modelos Promela e o verificador de modelos Spin por uma GUI, em vez de apenas comandos de terminal.
Use ao estudar ou desenvolver modelos de verificação formal com Spin. É uma ferramenta especializada para uso acadêmico e de engenharia, então é mais útil para quem já conhece o fluxo do Spin.