Patent ID: 7801841

Claim:
A method for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising: organizing the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states; associating each of the states with at least one label relating to the predetermined semantics; assigning at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and using a computing arrangement, determining at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique.