Loading...
Please wait, while we are loading the content...
Similar Documents
Efficient stateful dynamic partial order reduction (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Yang, Yu Chen, Xiaofang Gopalakrishnan, Ganesh Kir, Robert M. |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2008-01-01 |
| Publisher Institution | In: Model Checking Software, 15th International SPIN Workshop. LNCS |
| Access Restriction | Open |
| Subject Keyword | Abstract State Stateless Search Method First Contribution Practical Program Stateful Runtime Model Second Contribution Stateless Runtime Model Checking Stateful Search Stateless Model Approach Combine Light-weight State Good Balance Dynamic Partial Order Reduction Related Contribution Conservative Light-weight Method Potential Unsoundness Redundant Search Multithreaded Program |
| Content Type | Text |
| Resource Type | Article |