Correcting Clafer Models with Automated Analysis

ClaferIG is primarily a command line tool for generating instances for the Clafer modeling language. The tool is an important part of the Clafer family. This paper outlines a few big issues with writing Clafer models and how ClaferIG tackles them. The main focus of the paper is debugging models with small portions devoted to related topics. The final sections are dedicated to limitations and possible directions to extend the power of the tool.