1. A method comprising: receiving a model of a graphical user interface (GUI) based application that includes a plurality of paths; determining one or more paths of the plurality of paths that each include a pattern that satisfies a rule-pattern, the rule-pattern based on potential inaccuracies in the model as indicated by the pattern; and verifying whether the model is consistent with the GUI-based application based on a prioritization of a determination of whether the one or more paths are consistent with the GUI-based application, the prioritization of the one or more paths based on the one or more paths each including the pattern.