Model checking for distributed application validation
US9092561B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 20, 2010 |
| Grant date | Jul 28, 2015 |
| Priority date | — |
| Expiry date | Mar 30, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3476
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.