Invention Grant
- Patent Title: Precise thread-modular summarization of concurrent programs
- Patent Title (中): 并行程序的精确线程模块化汇总
-
Application No.: US12894710Application Date: 2010-09-30
-
Publication No.: US08561029B2Publication Date: 2013-10-15
- Inventor: Nishant Sinha , Chao Wang
- Applicant: Nishant Sinha , Chao Wang
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Joseph Kolodka
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/00
Abstract:
Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.
Public/Granted literature
- US20110078511A1 PRECISE THREAD-MODULAR SUMMARIZATION OF CONCURRENT PROGRAMS Public/Granted day:2011-03-31
Information query
