The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 25, 2022
Filed:
May. 01, 2020
Amazon Technologies, Inc., Seattle, WA (US);
Juan Rodriguez Hortala, Madrid, ES;
Neha Rungta, San Jose, CA (US);
Mark R. Tuttle, Arlington, MA (US);
Serdar Tasiran, New York, NY (US);
Michael Tautschnig, London, GB;
Andrea Nedic, New York, NY (US);
Carsten Varming, Brooklyn, NY (US);
John Byron Cook, Brooklyn, NY (US);
Sean McLaughlin, Seattle, WA (US);
Amazon Technologies, Inc., Seattle, WA (US);
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.