Outil de modélisation et d'analyse pour le langage Alloy facilitant la vérification formelle des systèmes
Outil de modélisation et d'analyse pour le langage Alloy facilitant la vérification formelle des systèmes
Alloy 4 téléchargement gratuit. Disponible via des serveurs fiables.
- Téléchargeur gratuit et rapide (plus d'infos)
- Toujours disponible
- Testé sans virus