International Business Machines Corporation

Philip Morris Products S.a.

Stephanie M Corthesy

Gustavo Alejandro Stolovitzky

Ajay K Royyuru

John Jeremy Rice

Pablo Meyer Rojas

Julia Hoeng

Raquel Norel

Manuel Claude Peitsch

Katrin Stolle

Joerg J Sprengel

Thomas Bonk

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.

Verification of complex workflows through internal assessment or community based assessment

Growing community of inventors

Zurich, Switzerland

Stephanie M Corthesy