1. A method comprising: receiving a model of a graphical user interface (GUI) based application, the model include s a plurality of states that represent states of the GUI-based application and the model includes a plurality of paths that indicate observed behavior of the GUI-based application in which each of the plurality of paths includes one or more transitions between two or more states of the model that indicate a sequence of one or more actions performed on the GUI-based application that result in the one or more transitions; determining that one or more paths of the plurality of paths of the model each include a particular series of transitions between states of the model with a pattern that satisfies a rule-pattern in which satisfaction of the rule-pattern indicates potential inconsistencies in the model with respect to actual behavior of the GUI-based application, wherein the potential inconsistencies are based on at least one of hidden behavior present in the one or more paths and multiple states of the GUI-based application being represented by a single state in the model; determining an order of the plurality of paths for determining whether the one or more paths are consistent with the GUI-based application over other paths of the GUI-based application by applying a priority weight to the one or more paths, wherein a higher priority weight for the order is given to the one or more paths over the other paths based on the one or more paths including the pattern that satisfies the rule-pattern and the higher priority weight is given to the one or more paths over the other paths based on a number of incoming edges associated with one or more states of the one or more paths being greater than the number of incoming edges associated with one or more states of the other paths; and verifying whether the model is consistent with the GUI-based application based on the determined order of the plurality of paths.