Skip to content
Snippets Groups Projects
Select Git revision
  • 6b31ef775b0a012701d5d889f33548b7abbc87da
  • main default
  • y3
  • y1
4 results

index.rst

Blame
  • 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.