Ce projet permet d'explorer et d'analyser des scénarios concurrents dans des systèmes multi-threads. Il offre des fonctionnalités de génération de modèles et de simulation de ces systèmes.