GEMOC Studio est une plateforme de développement et d'exécution de langages formels, permettant la modélisation, la simulation et le débogage de systèmes concurrents. Il intègre plusieurs moteurs d'exécution et offre des outils de visualisation et d'interaction avec les modèles.

Le projet ccsl_gemoc_compiler est un outil de modélisation et de simulation de systèmes concurrents. Il permet de définir des contraintes temporelles sur les événements d'un système et de vérifier leur respect lors de la simulation.

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.

This project implements weak memory models using causality. It allows researchers and developers to simulate and analyze the behavior of concurrent systems under different weak memory models. The project is implemented in C and provides a flexible and efficient framework for experimenting with weak memory models.

Causal and interactive model for a concurrent MiniOCaml, permettant la modélisation et la simulation de systèmes concurrents.

Le projet pn-parser est un outil permettant l'analyse et la simulation de réseaux de Petri. Il permet de générer du code à partir de modèles de réseaux de Petri et de simuler le comportement de systèmes concurrents.

Projet dédié à la gestion de la concurrence dans les systèmes informatiques, permettant l'exécution simultanée de comportements, la synchronisation d'événements et l'ordonnancement de tâches.