README
This tool aimed for being a framework for model checking.
Customized model originated from a standard template needs to satisfy a set of rools.
This tool can check if a given model satisfy a set of restrictions given by this standard template and a set of rools.