Upload a DOMLX file (in PIACERE IDE, Right click > PIACERE > Generate DOMLX) to either validate it with
the
model checker or the CSP compatibility tool.
Model Checker
CSP Compatibility
There was an issue with the file you uploaded. Is it a DOMLX file?
DOML files are not supported!