1. A computer-implemented method performed by a computerized device, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise at least two entities adapted to store values, and at least one entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the at least two entities adapted to store values, wherein for each of the at least two entities symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; at least one entity adapted to load values repeatedly loading values, wherein in each loading the at least one entity adapted to load values loading values from a multiplicity of private memory locations, to obtain a reading comprising loaded values; and analyzing the loaded values for at least one invariant, wherein the at least one invariant being held is indicative that the transaction operations of the computerized platform adheres to a property, whereby testing operation of the computerized platform.