Loading...
Please wait, while we are loading the content...
Similar Documents
Model-Checking Multi-Threaded Distributed Java Programs (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Stoller, Scott D. |
| Abstract | Systematic state-space exploration is a powerful technique for verification of concurrent software systems. Most work in this area deals with manually-constructed models of those systems. We propose a framework for applying state-space exploration to multi-threaded distributed systems written in standard programming languages. It generalizes Godefroid's work on VeriSoft, which does not handle multi-threaded systems, and Bruening's work on ExitBlockRW, which does not handle distributed (multi-process) systems. Unlike ExitBlockRW, our search algorithms incorporate powerful partial-order methods, guarantee detection of deadlocks, and guarantee detection of violations of the locking discipline used to avoid race conditions in accesses to shared variables. |
| File Format | |
| Journal | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
