SPIN

SPIN est un langage de programmation pour le développement de systèmes concurrents, distribués et tolérants aux pannes. Il est basé sur le langage de modélisation Promela et l'étend avec des constructions pour la concurrence, la communication et l'équité. SPIN a été utilisé pour vérifier l'exactitude de systèmes allant des contrôleurs embarqués aux protocoles qui contrôlent l'Internet. Il a également été utilisé pour générer du code efficace pour une variété d'architectures parallèles et distribuées. SPIN est développé et maintenu par l'équipe Spin de l'Université Cornell.