![](/statics/img/blank.png)
ACM code generator 1.0
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 2 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur ACM code generator
ACMgen est un générateur de code automatique de mécanismes de communication asynchrones basés sur la génération de modèles de filets Petri qui peuvent être formellement vérifiés par rapport à certaines propriétés, puis transformés en une véritable implémentation (par exemple.C++ ou Verilog).