Patent 9734190 was granted and assigned to Gravic, Inc. on August, 2017 by the United States Patent and Trademark Office.
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.