Explore projects

Application de l'université de Rennes, développé par les étudiants et les étudiantes du BDE d'informatique, la Palme.

Fork du projet JPA de TAA

Application de l'université de Rennes, développé par les étudiants et les étudiantes du BDE d'informatique, la Palme.

It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.

Fork of https://src.koda.cnrs.fr/tiago.de.lima/cmc/-/releases/0.1.0.0