Le programme fast2armc traduit le code source d’un modèle de contre-automate pour l’outil FAST(er) à la syntaxe prolog ARMC.
historique de la version
- Version 1.2.2 posté sur 2010-02-24
Plusieurs correctifs et mises à jour - Version 1.2.2 posté sur 2010-02-24
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: fast2armc.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 1.2.2
- Plate-forme: windows