Programmes par acmgen.sf.net

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 transf