Patent ID: 7933759

Claim:
At least one device for checking predicates in conjunction with distributed systems, the at least one device comprising: a distributed system simulator to perform a simulation of a distributed system, wherein the distributed system simulator accepts distributed system simulation data as input and outputs distributed simulation states, wherein the distributed system simulator exposes the distributed system simulation states; and a distributed system predicate checker to check predicates in conjunction with the distributed system, the distributed system predicate checker comprising: exposed states for the distributed system; a checker control unit to retrieve exposed states from the distributed system simulation states of the distributed system simulator and to insert the retrieved exposed states into the exposed states for the distributed system; predicate states for the distributed system; and a checker comparator to compare the exposed states for the distributed system to the predicate states for the distributed system and to issue at least one alarm if an inconsistency is detected between the exposed states and the predicate states.