公开(公告)号：WO2020046981A1

公开(公告)日：2020-03-05

申请号：PCT/US2019/048395

申请日：2019-08-27

Applicant: AMAZON TECHNOLOGIES, INC.

Inventor： RUNGTA, Neha ,  KAHSAI AZENE, Temesghen ,  BOLIGNANO, Pauline, Virginie ,  LUCKOW, Kasper, Soe ,  McLAUGHLIN, Sean ,  DODGE, Catherine ,  GACEK, Andrew Jude ,  VARMING, Carsten ,  COOK, John Byron ,  SCHWARTZ, Narbonnne ,  HORTALA, Juan Rogriguez ,  TUTTLE, Mark, R. ,  TASIRAN, Serdar ,  TAUTSCHNIG, Michael ,  NEDIC, Andrea

IPC: G06F11/36 ,  G06F9/50

Abstract: A verification service of a computing resource service provider performs formal proofs and other verifications of program instruction sets, such as source code and data security policies, provided by the service provider's users and/or services by deploying a plurality of verification tools, such as constraint solvers, to concurrently evaluate the program instructions. The verification tools can be deployed with different configurations, characteristics and/or capabilities. Tools and validation tasks can be identified from a verification specification associated with the program instructions. The service may control execution of verification tools within virtual computing resources, such as a software container instance. The service receives verification results and delivers them according to a solution strategy such as "first received" to reduce latency or "check for agreement" to validate the solution. An interface allows the user to select and configure tools, issue commands and modifications during execution, select the solution strategy, and receive the solution.