‌

US Patent 9448820 Constraint verification for distributed applications

Overview Structured Data Issues Contributors

Is a

1

Patent attributes

Patent Jurisdiction

United States Patent and Trademark Office

1

Patent Number

Patent Inventor Names

Nicholas Alexander Allen1

Date of Patent

September 20, 2016

1

Patent Application Number

137337801

Date Filed

January 3, 2013

1

Patent Citations Received

US Patent 11888846 Configuring storage systems in a fleet of storage systems

2

US Patent 12107743 Constraint-based event-driven telemetry

3

Loading...

4

US Patent 11704145 Infrastructure-based risk diverse placement of virtualized computing resources

5

Patent Primary Examiner

1

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.

Timeline

No Timeline data yet.

Further Resources

Title

Author

Link

Type

Date

No Further Resources data yet.

References

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

Golden Query Tool

By using this site, you agree to our Terms of Service.