A Model Checker based on Z3 to verify DOML files. Part of PIACERE project.
andreafra/piacere-model-checker
latest