| 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 |
