Invention Grant
- Patent Title: Deductive verification for programs using functional programming features
-
Application No.: US15957746Application Date: 2018-04-19
-
Publication No.: US10733074B1Publication Date: 2020-08-04
- Inventor: David R. Cok , Serdar Tasiran
- Applicant: Amazon Technologies, Inc.
- Applicant Address: US WA Seattle
- Assignee: Amazon Technologies, Inc.
- Current Assignee: Amazon Technologies, Inc.
- Current Assignee Address: US WA Seattle
- Agency: Lowenstein Sandler LLP
- Main IPC: G06F11/36
- IPC: G06F11/36
Abstract:
A processing device receives first specification information for an executable functional programming feature from a program and second specification information for the executable functional programming feature from a specification associated with the program. The processing device aggregates the first specification information with the second specification information to form combined specification information for the executable functional programming feature. The processing device verifies the executable programming feature using the combined specification information.
Information query
