spin |
Tourner |
|---|---|
| Plan 9 | |
Syntaxe
| spin [ options ] file |
| spin -V |
Description
Cette commande permet de lancer un outil de vérification pour les modèles de systèmes concurrents.
Dernière mise à jour : Samedi, le 27 Juin 2020
spin |
Tourner |
|---|---|
| Plan 9 | |
| spin [ options ] file |
| spin -V |
Cette commande permet de lancer un outil de vérification pour les modèles de systèmes concurrents.