Patent · US Active

Automated software verification service

US10664379B2 · kind B2 · utility

1Cited by

4References

10Claims

0Family size

Assignee

AMAZON TECHNOLOGIES, INC. · US

Inventors

Juan Rodriguez Hortala · Madrid, ES
Neha Rungta · San Jose, US
Mark R. Tuttle · Arlington, US
Serdar Tasiran · New York, US
Michael Tautschnig · London, GB
Andrea Nedic · New York, US
Carsten Varming · Brooklyn, US
John Cook · Brooklyn, US
Sean McLaughlin · Seattle, US

Key dates

Filing date	Sep 5, 2018
Grant date	May 26, 2020
Priority date	—
Expiry date	Sep 5, 2038

Classification

Technology area (CPC G)Physics
CPC primaryG06F2201/815
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.