Symbolic reduction of dynamic executions of concurrent programs
US8359578B2 · kind B2 · utility
6Cited by
0References
10Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 1, 2009 |
| Grant date | Jan 22, 2013 |
| Priority date | — |
| Expiry date | Nov 10, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3636
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.