SYSTEM FOR PROVIDING PROGRAM ANALYSIS/VERIFICATION SERVICE, METHOD OF CONTROLLING SAID SYSTEM, COMPUTER-READABLE STORAGE MEDIUM, DEVICE FOR PROGRAM ANALYSIS/VERIFICATION, DEVICE FOR CONTROLLING PROGRAM ANALYSIS/VERIFICATION MEANS Russian patent published in 2016 - IPC G06F21/56 

FIELD: information technology.

SUBSTANCE: invention relates to analysis and verification of target program using program analysis/verification means. Disclosed is a program verification provision system for verification of target program using one or several program verification means, wherein system for providing program verification service includes: a target program to produce a target program; section for storing means, storing several program verification means; device for extraction of products for extraction of several program verification means stored in storage section means, one or more program verification means for use in target verification program receives a target program; device for production of products for production of section storage facilities of one or more program verification means, which removes extractor means; and actuators of products for verification using each of one or more program verification means, which receives facilities, target program receives a target program, wherein actuating means verifies target program produced from each of multiple users.

EFFECT: technical result is efficient verification of programs based on selection for use of one of several suitable program verification means.

19 cl, 11 dwg