Ulrich Stern, David L. Dill  Home/Search
Context Related
| stanford.edu/uli/doc/Jpar.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: stanford.edu/uli/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: With the use of state and memory reduction techniques in verification by explicit state enumeration, runtime becomes a major limiting factor. We describe a parallel version of the explicit state enumeration verifier Mur' for distributed memory multiprocessors and networks of workstations using the message passing paradigm. In experiments with three complex cache coherence protocols, parallel Mur' shows close to linear speedups, which are largely insensitive to communication latency and... (Update)
Cited by: More
Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
A Systematic Characterization of Application Sensitivity to.. - Martin (1999) (Correct)
State Pruning for Generating Efficient Test Vectors - Chen, Abts, Lilja (Correct)
Similar documents (at the sentence level):
62.9%: Algorithmic Techniques in Verification by Explicit State Enumeration - Stern (1997) (Correct)
48.0%: Parallelizing the Murφ Verifier - Stern, Dill (1997) (Correct)
Active bibliography (related documents): More All
0.9: Random Walk Based Heuristic Algorithms for Distributed.. - Sivaraj, Gopalakrishnan (2003) (Correct)
0.5: Using Magnetic Disk instead of Main Memory in the Mur phi Verifier - Stern, Dill (1998) (Correct)
0.3: Reliable Probabilistic Verification Using Hash Compaction - Wolper, Stern, Leroy, Dill (Correct)
Similar documents based on text: More All
1.1: The Murphi Verification System - Dill (1996) (Correct)
0.4: Automatic Verification of the SCI Cache Coherence Protocol - Stern, Dill (1995) (Correct)
0.3: Verifying Systems with Replicated Components in Murφ - Ip, Dill (1996) (Correct)
Related documents from co-citation: More All
6: Distributed-memory model checking with spin - Lerda, Sisto - 1999
6: Distributed LTL model-checking in SPIN - Barnat, Brim et al. - 2000
5: Active messages: a mechanism for integrated communication and computation - vonEicken, Culler et al. - 1992
BibTeX entry: (Update)
Stern, U., and Dill, D. L. 1997. Parallelizing the Murphi Verifier. In Ninth International Conference on Computer Aided Verification, 256--267. http://citeseer.ist.psu.edu/stern97parallelizing.html More
@inproceedings{ stern97parallelizing,
author = "U. Stern and D. L. Dill",
title = "Parallelizing the {Mur$\varphi$} Verifier",
booktitle = "Computer Aided Verification, 9th International Conference",
volume = "1254",
publisher = "Springer-Verlag",
editor = "Orna Grumberg",
pages = "256--267",
year = "1997",
url = "citeseer.ist.psu.edu/stern97parallelizing.html" }
Citations (may not include all citations):1749 An Introduction to Probability Theory and Its Applications (context) - Feller - 1968
595 Active messages: a mechanism for integrated communication an.. - von Eicken, Culler et al. - 1992
531 LogP: towards a realistic model of parallel computation - Culler, Karp et al. - 1993 ACM DBLP
478 The Stanford DASH multiprocessor (context) - Lenoski, Laudon et al. - 1992
362 The Stanford FLASH multiprocessor (context) - Kuskin, Ofelt et al. - 1994 ACM DBLP
358 Universal classes of hash functions (context) - Carter, Wegman - 1979 DBLP
143 Sequential circuit verification using symbolic model checkin.. (context) - Burch, Clarke et al. - 1990 ACM DBLP
130 LogGP: incorporating long messages into the LogP model -- on.. - Alexandrov, Ionescu et al. - 1995
66 IEEE Standard for Scalable Coherent Interface (context) - Std - 1992
60 and bandwidth in a cluster architecture (context) - Martin, Vahdat et al. - 1997
45 Reliable hashing without collision detection - Wolper, Leroy - 1993
39 On limits and possibilities of automated protocol analysis - Holzmann - 1987 ACM DBLP
37 Generic Active Message Interface Specification (context) - Culler, Keeton et al. - 1995
29 The Mur' verification system - Dill - 1996
20 Parallelizing the Mur' verifier (context) - Stern, Dill - 1997
16 A parallel algorithm for constructing binary decision diagra.. (context) - Kimura, Clarke - 1990
15 Distributed reachability analysis for protocol verification .. (context) - Aggarwal, Alonso et al. - 1987
14 A new scheme for memory-efficient probabilistic verification - Stern, Dill - 1996 ACM DBLP
14 Implementation of an efficient parallel BDD package - Stornetta - 1995
14 Implementation of an efficient parallel BDD package - Stornetta, Brewer - 1996
8 Techniques for Efficient Formal Verification Using Binary De.. - Hu - 1995 ACM
8 State Reduction Methods for Automatic Formal Verification - Ip - 1996
7 Binary decision diagrams on network of workstations - Ranjan, Sanghavi et al. - 1996
6 Using magnetic disk instead of main memory in the Mur' verif.. (context) - Stern, Dill
6 Algorithmic Techniques in Verification by Explicit State Enu.. - Stern - 1997
4 Finite state machine verification on MIMD machines (context) - Kumar, Vemuri - 1992 ACM
4 A distributed task queue for load balancing on the CM (context) - Wen
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://verify.stanford.edu/uli/publications.html): More
A New Scheme for Memory-Efficient Probabilistic Verification - Stern, Dill (1996) (Correct)
Reliable Probabilistic Verification Using Hash Compaction - Wolper, Stern, Leroy, Dill (Correct)
Parallelizing the Murφ Verifier - Stern, Dill (1997) (Correct)
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