Verifying consistency and validity of CMMN models

Hello everyone
I developed a CMMN model and now I want to know if there is a way to verify and validate consistence of it, I want to check the logic of the model, the proper use of CMMN elements, and other criteria.
So, I wonder if there is a software which allow me to check that kind of things or a document with ideas or criteria to do it or If any Camunda Expert could help me to review it and give me feedback.
The model represent one section of my PhD thesis, so I really appreciate your help and ideas.
Thank you

A while ago some of the folk here created Play which is a webapp that lets you step through state transitions in BPMN and CMMN might be useful to you.

Hi @Niall
Di you know where can I find a users guide or any manual abot Play?

Sorry to say it was simply written as a little project and has no documentation available.