Review Process

After having downloaded the master file and model description, each submission is reviewed by an editor who decides about acceptance of the model based on

Mathematical Relevance
Technical Quality
Formal Correctness

The author is notified by email.