公开(公告)号：US20240330709A1

公开(公告)日：2024-10-03

申请号：US18193546

申请日：2023-03-30

Applicant: Amazon Technologies, Inc.

Inventor： Alexandre DAVID ,  Jeremiah M. DUNHAM ,  Amit GOEL ,  Dejan JOVANOVIC ,  Rami Gokhan KICI

IPC: G06N5/01 ,  G06N5/045

CPC classification number: G06N5/013 ,  G06N5/045

Abstract: Techniques are described for executing satisfiability modulo theories (SMT) solvers in a “shadow” system configuration where input queries are provided to a primary SMT solver system and additionally to one or more secondary SMT solver systems. SMT solver systems can be used by cloud providers and in other computing environments to analyze the implications of configured user account policies defining permissions with respect to users' computing resources and associated actions within a computing environment, to help ensure the security of computing resources and user data, etc. The results generated by a primary SMT solver system can be provided to one or more secondary SMT solver systems, where each of the secondary SMT systems can comprise different system components or different versions of system components, to assess the correctness of the primary SMT solver system, to compare performance metrics, among other possible types of analyses.