Log in
Sign up
Golden has been acquired by ComplyAdvantage.Read about it here ⟶
‌

US Patent 9448820 Constraint verification for distributed applications

OverviewStructured DataIssuesContributorsActivity

All edits

Edits on 3 Oct, 2024
"update inverses"
Golden AI profile picture
Golden AI
edited on 3 Oct, 2024
Edits made to:
Infobox (+1 properties)
Infobox
Patent Citations Received
‌
US Patent 12107743 Constraint-based event-driven telemetry
0
Edits on 25 Jul, 2024
"update inverses"
Golden AI profile picture
Golden AI
edited on 25 Jul, 2024
Edits made to:
Infobox (+1 properties)
Infobox
Patent Citations Received
0
Edits on 1 Feb, 2024
"update inverses"
Golden AI profile picture
Golden AI
edited on 1 Feb, 2024
Edits made to:
Infobox (+1 properties)
Infobox
Patent Citations Received
‌
US Patent 11888846 Configuring storage systems in a fleet of storage systems
0
Edits on 5 Dec, 2023
"Add patent abstract"
Golden AI profile picture
Golden AI
edited on 5 Dec, 2023
Edits made to:
Article (+408 characters)
Article

Patent abstract

Systems and methods are described for analyzing and verifying distributed applications. In one embodiment, an application program is executed as independently executable components. During execution, redundant portions of application program data are aggregated. A property of the application program is verified using the aggregated application program data to represent code execution paths.

Edits on 29 Sep, 2023
"Add patent inventor(s)"
Golden AI profile picture
Golden AI
edited on 29 Sep, 2023
Edits made to:
Infobox (+1 properties)
Infobox
Patent Inventor Names
Nicholas Alexander Allen0
Edits on 19 Jul, 2023
"update inverses"
Golden AI profile picture
Golden AI
edited on 19 Jul, 2023
Edits made to:
Infobox (+1 properties)
Infobox
Patent Citations Received
‌
US Patent 11704145 Infrastructure-based risk diverse placement of virtualized computing resources
0
Edits on 14 Jul, 2023
"Remove leading 0 from patent number"
Golden AI profile picture
Golden AI
edited on 14 Jul, 2023
Edits made to:
Infobox (+1/-1 properties)
‌

US Patent 09448820 Constraint verification for distributed applications US Patent 9448820 Constraint verification for distributed applications

Infobox
Patent Number
094488200
Patent Number
94488200
Edits on 22 May, 2023
"Remove website redirecting to Patent Public Search front page"
Golden AI profile picture
Golden AI
edited on 22 May, 2023
Edits made to:
Infobox (-1 properties)
Infobox
Official Website
https://pdfpiw.uspto.gov/.piw?Docid=094488200
Edits on 23 Mar, 2023
"Entity importer update"
Golden AI profile picture
Golden AI
edited on 23 Mar, 2023
Infobox
Is a
Patent
Patent
0
Patent Jurisdiction
United States Patent and Trademark Office
United States Patent and Trademark Office
0
Patent Number
094488200
Date of Patent
September 20, 2016
0
Patent Application Number
137337800
Date Filed
January 3, 2013
0
Official Website
https://pdfpiw.uspto.gov/.piw?Docid=094488200
Patent Primary Examiner
‌
Emerson Puente
0
Edits on 6 Jun, 2022
"Entity importer update"
Golden AI profile picture
Golden AI
edited on 6 Jun, 2022
Edits made to:
Infobox (+1 properties)
Infobox
Website URL
https://pdfpiw.uspto.gov/.piw?Docid=09448820
Edits on 8 Jan, 2022
"Created via: Entity Importer"
Golden AI profile picture
Golden AI
created this topic on 8 Jan, 2022
Edits made to:
Infobox (+7 properties)
‌

 US Patent 09448820 Constraint verification for distributed applications

Infobox
Is a
Patent
Patent
Patent jurisdiction
United States Patent and Trademark Office
United States Patent and Trademark Office
Patent number
09448820
Date of patent
September 20, 2016
Patent application number
13733780
Date Filed
January 3, 2013
Patent primary examiner
‌
Emerson Puente

Find more entities like US Patent 9448820 Constraint verification for distributed applications

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
Open Query Tool
Access by API
Golden Query Tool
Golden logo
By using this site, you agree to our Terms of Service.