Amazon Technologies, Inc.

Andrea Nedic

Neha Rungta

John Byron Cook

Carsten Varming

Sean McLaughlin

Michael Tautschnig

Mark Rogers Tuttle

Serdar Tasiran

Juan Rodriguez Hortala

Andrew Jude Gacek

Pauline Virginie Bolignano

Tyler Stuart Bray

Cole Nathan Schlesinger

Kasper Søe Luckow

Techniques for intent-based governance are described. For example, in some instances a method of receiving an indication of a change involving of one or more of code, a policy, a network configuration, or a governance requirement rule impacting a resource in a provider network for an account that is to be analyzed using one or more governance requirement rules; determining one or more governance requirement rules to evaluate for compliance after the update; evaluating the determined one or more governance requirement rules for compliance using one or more reasoning engines according to one or more policies; and making a result of the evaluating available to a user provides such governance.

Intent-based governance service

A method for verifying source code for a program includes determining that a new version of the source code is available. One or more verification tools are determined to use for verification of the new version of the source code from a verification specification associated with the source code. A plurality of verification tasks to perform for the verification of the new version of the source code are automatically determined from the verification specification associated with the source code. The plurality of verification tasks for the new version of the source code are automatically performed using the one or more verification tools. A determination is then made as to whether the new version of the source code is verified.

Automated software verification service

Growing community of inventors

New York, NY, United States of America

Andrea Nedic