| |
 |
|
|
Inventor: Qadeer; Shaz
Address: Seattle, WA
No. of patents: 3
Patents:
| Patent Number |
Title Of Patent |
Date Issued |
| 7555418 |
Procedure summaries for multithreaded software |
June 30, 2009 |
| Procedure summaries can be generated and used for multithreaded software. A set of actions for a software procedure can be identified as atomically modelable with respect to multithreaded execution of the software. Such actions can be considered a transaction and deemed to have occurred |
| 7526750 |
Object-based systematic state space exploration of software |
April 28, 2009 |
| The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of stori |
| 7316005 |
Data race detection using sequential program analysis |
January 1, 2008 |
| A concurrent program is analyzed for the presence of data races by the creation of a sequential program from the concurrent program. The sequential program contains assertions which can be verified by a sequential program analysis tool, and which, when violated, indicate the presence |
|
|
|
