Select Git revision
-
Michele Chiari authoredMichele Chiari authored
index.rst 901 B
DOML Model Checker's documentation
The DOML Model Checker is a component of the PIACERE framework in charge of checking the correctness and consistency of DOML models.
This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 101000162.