Scott D. Stoller  Home/Search
Context Related
Links: ACM DBLP | indiana.edu/pub/techreport...TR536.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: indiana.edu/ftp/techrepor...TR536 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Systematic state-space exploration is a powerful technique for veri cation 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... (Update)
Cited by: More
Over-Approximating Boolean Programs with Unbounded Thread.. - Cook, Kroening, al. (Correct)
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
Ecient Veri - Cation Of Sequential (Correct)
Similar documents (at the sentence level):
46.0%: Model-Checking Multi-Threaded Distributed Java Programs - Stoller (2000) (Correct)
Active bibliography (related documents): More All
0.5: Model Checking Java Using Pushdown Systems - Obdrzálek (2002) (Correct)
0.1: Concurrent Boolean Programs - Geeraerts, Van Begin (Correct)
0.1: Compositional Petri Net Models of Compositional Petri Net.. - Ravi Gedela Sol (Correct)
Similar documents based on text: More All
0.2: Systematic Testing of Multithreaded Programs - Bruening, Chapin (Correct)
0.2: On Nested Depth First Search (Extended Abstract) - Holzmann, Peled, Yannakakis (1996) (Correct)
0.2: On Nested Depth First Search - Holzmann, Peled, Yannakakis (1996) (Correct)
Related documents from co-citation: More All
32: Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer et al. - 2000
31: Model Checking Java Programs using Java PathFinder - Havelund, Pressburger - 1998
26: Model checking programs - Visser, Havelund et al. - 2000
BibTeX entry: (Update)
Scott D. Stoller. Model-checking multi-threaded distributed Java programs. Technical Report 536, Computer Science Dept., Indiana University, 2000. http://citeseer.ist.psu.edu/stoller00modelchecking.html More
@inproceedings{ stoller00modelchecking,
author = "Scott D. Stoller",
title = "Model-Checking Multi-threaded Distributed Java Programs",
booktitle = "{SPIN}",
pages = "224-244",
year = "2000",
url = "citeseer.ist.psu.edu/stoller00modelchecking.html" }
Citations (may not include all citations):140 Eraser: A dynamic data race detector for multi-threaded prog.. - Savage, Burrows et al. - 1997 DBLP
123 Model checking for programming languages using VeriSoft - Godefroid - 1997 ACM DBLP
119 Compositional pointer and escape analysis for Java programs - Whaley, Rinard - 1999
57 A deadlock detection tool for concurrent Java programs (context) - Demartini, Iosif et al. - 1999 ACM DBLP
52 Types for safe locking - Flanagan, Abadi - 1999 ACM DBLP
51 Extended static checking - Detlefs, Rustan et al. - 1998 ACM DBLP
48 Bandera: Extracting nite-state models from Java source code (context) - Corbett, Dwyer et al. - 2000
46 Model checking programs - Brat, Havelund et al. - 2000 ACM DBLP
46 How to write a long formula (context) - Lamport - 1993
29 The Science of Programming (context) - Gries - 1981
27 Systematic testing of multithreaded Java programs - Bruening - 1999
27 Systematic testing of multithreaded Java programs - Bruening - 1999
24 Partial-Order Methods for the Verication of Concurrent Syste.. (context) - Godefroid - 1996
19 Model checking without a model: An analysis of the heart-bea.. - Godefroid, Hanmer et al. - 1998 DBLP
17 Byte code engineering with the JavaClass API - Dahm - 1999
15 An improvement in formal verication (context) - Holzmann, Peled - 1994
6 An application of Petri net reduction for Ada tasking deadlo.. - Shatz, Tu et al. - 1996 ACM DBLP
6 Using shape analysis to reduce nite-state models of concurre.. (context) - Corbett - 2000
2 Applying model checking in Java verication (context) - Havelund, Skakkeb - 1999
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC