The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 14, 2015
Filed:
Mar. 21, 2012
Stephanie M. Corthesy, Zurich, CH;
Pablo Meyer Rojas, Brooklyn, NY (US);
Raquel Norel, New York, NY (US);
John J. Rice, Mohegan Lake, NY (US);
Ajay K. Royyuru, Congers, NY (US);
Joerg J. Sprengel, Baden, DE;
Gustavo A. Stolovitzky, Riverdale, NY (US);
Thomas Bonk, Köln, DE;
Julia Hoeng, Neuchatel, CH;
Manuel Peitsch, Peseux, CH;
Katrin Stolle, Köln, DE;
Stephanie M. Corthesy, Zurich, CH;
Pablo Meyer Rojas, Brooklyn, NY (US);
Raquel Norel, New York, NY (US);
John J. Rice, Mohegan Lake, NY (US);
Ajay K. Royyuru, Congers, NY (US);
Joerg J. Sprengel, Baden, DE;
Gustavo A. Stolovitzky, Riverdale, NY (US);
Thomas Bonk, Köln, DE;
Julia Hoeng, Neuchatel, CH;
Manuel Peitsch, Peseux, CH;
Katrin Stolle, Köln, DE;
International Business Machines Corporation, Armonk, NY (US);
Philip Morris Products S.A., , CH;
Abstract
A method of implementing verification of a complex workflow includes partitioning the workflow into modules, wherein the modules have inputs, processing steps and outputs; selecting, from the workflow, one of the partitioned modules for independent verification by challenge thereof; running, with a computing device, a challenge of the selected module, the challenge comprising comparing reference outputs to outputs of the selected module, wherein reference inputs are received by the selected module and the reference outputs are generated using the reference inputs and one of an ideal performing module or a well-established module; determining whether outputs of the selected module meet verification criteria with respect to the reference outputs, and based on the determining, implementing one of: declaring the selected module verified; subdividing the selected module into smaller modules and repeating the challenge on the smaller modules; or declaring the selected module not verified.