9,734,190 - Method of ensuring real-time transaction integrity
Abstract:A method is provided to verify the computational results of a transaction processing system. A transaction is allowed to modify an application's state only if the validity of the result of the processing of the transaction is verified. Otherwise, the transaction is aborted.