Issued Patents All Time
Showing 1–16 of 16 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10380008 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Yuri Gurevich | 2019-08-13 |
| 10255153 | Systematic testing of failover and recovery for distributed system components | Narayanan Ganapathy, Akash Lal | 2019-04-09 |
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Yuri Gurevich | 2016-06-21 |
| 9329877 | Static verification of parallel program code | Alastair Francis Donaldson | 2016-05-03 |
| 9063778 | Fair stateless model checking | Madanlal Musuvathi | 2015-06-23 |
| 9053227 | Concurrent assertion | Jacob Burnim, Madanlal Musuvathi | 2015-06-09 |
| 9015674 | Identifying execution paths that satisfy reachability queries | Robert DeLine, Mike Barnett, Akash Lal | 2015-04-21 |
| 8813043 | Unifying type checking and property checking for low level programs | Jeremy P. Condit, Shuvendu K. Lahiri | 2014-08-19 |
| 7926035 | Testing multi-thread software using prioritized context switch limits | Madanlal Musuvathi | 2011-04-12 |
| 7779382 | Model checking with bounded context switches | Niels Jakob Rehof | 2010-08-17 |
| 7752605 | Precise data-race detection using locksets | Tayfun Elmas | 2010-07-06 |
| 7650595 | Sound transaction-based reduction without cycle detection | Sriram K. Rajamani, Vladimir A. Levin, Robert A. Palmer, Jr. | 2010-01-19 |
| 7555418 | Procedure summaries for multithreaded software | Niels Jakob Rehof, Sriram K. Rajamani | 2009-06-30 |
| 7526750 | Object-based systematic state space exploration of software | Anthony D. Andrews, Niels Jakob Rehof, Sriram K. Rajamani, Yichen Xie | 2009-04-28 |
| 7316005 | Data race detection using sequential program analysis | Dinghao Wu | 2008-01-01 |
| 6892319 | Method for verifying abstract memory models of shared memory multiprocessors | — | 2005-05-10 |