@inproceedings{8f6b8a2077fe451898b7e804ae4314d1,
title = "Model-checking multi-threaded distributed Java programs",
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{\textquoteright}s work on VeriSoft, which does not handle multi-threaded systems, and Bruening{\textquoteright}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.",
author = "Stoller, \{Scott D.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 7th International SPIN Workshop on Model Checking and Software Verification, 2000 ; Conference date: 30-08-2000 Through 01-09-2000",
year = "2000",
doi = "10.1007/10722468\_14",
language = "English",
isbn = "3540410309",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "224--244",
editor = "Klaus Havelund and John Penix and Willem Visser",
booktitle = "SPIN Model Checking and Software Verification - 7th International SPIN Workshop, Proceedings",
}