je voudrai travailler avec le model checker spin, j'ai téléchargé l'executable Xspin à partir du site officiel de spin. Cet executable requiert qu'un compilateur C soit installé sur la machine, j'ai téléchargé le compilateur C proposé dans ce même site mais ça ne marche pas. Si vous avez déjà travaillé avec spin veuillez m'orienter.
merci.