Skip to content

GitLab

Explore

Sign in

C

Causal Model Checker

Project information

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

42 Commits
4 Branches
3 Tags
3 Releases

README
GNU LGPLv2.1
CHANGELOG

Created on

June 03, 2024

Copy SSH clone URLgit@gitlab.istic.univ-rennes1.fr:Wabtey/cmc.git
Copy HTTPS clone URLhttps://gitlab.istic.univ-rennes1.fr/Wabtey/cmc.git