SPIN

SPIN é uma linguagem de programação para o desenvolvimento de sistemas simultâneos, distribuídos e tolerantes a falhas. Baseia-se na linguagem de modelação Promela e alarga-a com construções para concorrência, comunicação, e equidade. SPIN tem sido utilizado para verificar a correcção de sistemas que vão desde controladores incorporados até aos protocolos que controlam a Internet. Também tem sido utilizado para gerar código eficiente para uma variedade de arquitecturas paralelas e distribuídas. A SPIN é desenvolvida e mantida pela equipa Spin na Universidade de Cornell.