Invention Grant
- Patent Title: Symbolic reduction of dynamic executions of concurrent programs
- Patent Title (中): 并行程序动态执行的象征性减少
-
Application No.: US12571476Application Date: 2009-10-01
-
Publication No.: US08359578B2Publication Date: 2013-01-22
- Inventor: Chao Wang , Aarti Gupta , Swarat Chaudhuri , Yu Yang
- Applicant: Chao Wang , Aarti Gupta , Swarat Chaudhuri , Yu Yang
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Jeffery Brosemer; Joseph Kolodka
- Main IPC: G06F9/44
- IPC: G06F9/44
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.
Public/Granted literature
- US20100088681A1 SYMBOLIC REDUCTION OF DYNAMIC EXECUTIONS OF CONCURRENT PROGRAMS Public/Granted day:2010-04-08
Information query
