Nachos est un logiciel d'enseignement conçu pour les cours universitaires de systèmes d'exploitation. Il comprend un overviews, du code de base pour un système d'exploitation fonctionnel, un simulateur pour un ordinateur personnel/workstation générique, des exemples d'assignations, et un guide de démarrage en C++. Les assignations couvrent tous les aspects des systèmes d'exploitation modernes, y compris les threads, la multiprogrammation, les appels systèmes, la mémoire virtuelle, les traductions matérielles, les systèmes de fichiers, les protocoles de réseau, les appels de procédure distants, et les systèmes distribués.

Le projet mujoco est un wrapper pour le simulateur de physique MuJoCo, qui permet la simulation de systèmes multi-articulés avec contact. Il est basé sur le système de génération de code PID et est distribué sous licence CeCILL-B. Il fournit une API et des applications pour l'installation, l'utilisation et l'intégration de MuJoCo dans des projets de robotique.

SimGrid est un outil de simulation permettant l'étude du comportement de systèmes distribués tels que les grilles informatiques, les clouds, les systèmes HPC ou P2P. Il peut être utilisé pour évaluer des heuristiques, prototyper des applications ou analyser des applications MPI existantes.

Le projet tansiv est une bibliothèque logicielle permettant de simuler des systèmes distribués en les couplant avec des machines virtuelles exécutant du vrai code. Il vise à fournir une illusion robuste d'exécution non modifiée pour les applications dans les machines virtuelles, en particulier en ce qui concerne la perception du temps.

Le projet galera-experiment vise à fournir un environnement de simulation et d'expérimentation pour les systèmes distribués et les clusters de calcul. Il permet d'optimiser les performances de calculs parallèles et de tester différentes configurations de manière automatisée.

Ce projet propose un algorithme de vérification parallèle hybride pour les architectures mémoire partagée et distribuée. La vérification est effectuée simultanément avec la construction parallèle de l'espace d'états du système. L'espace d'états du système est représenté par un graphe hybride appelé Graphe d'Observation Symbolique (SOG) qui combine une représentation symbolique des nœuds (ensembles d'états uniques) et une représentation explicite des arcs. Le SOG est adapté pour préserver les formules LTL à la fois étatiques et basées sur les événements.