发明名称 |
Symbolic reduction of dynamic executions of concurrent programs |
摘要 |
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.
|
申请公布号 |
US8359578(B2) |
申请公布日期 |
2013.01.22 |
申请号 |
US20090571476 |
申请日期 |
2009.10.01 |
申请人 |
NEC LABORATORIES AMERICA, INC.;WANG CHAO;GUPTA AARTI;CHAUDHURI SWARAT;YANG YU |
发明人 |
WANG CHAO;GUPTA AARTI;CHAUDHURI SWARAT;YANG YU |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|