Ulrich Stern, David L. Dill  Home/Search
Context Related
| stanford.edu/dill/PAPERS/veri...SD97.ps stanford.edu/uli/doc/par.ps.Z stanford.edu/PAPERS/SD97.ps 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/dill/murphi (more) From: stanford.edu/papers (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 that is based on 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 ... (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):
54.7%: Parallelizing the Murφ Verifier - Stern, Dill (1997) (Correct)
47.7%: Algorithmic Techniques in Verification by Explicit State Enumeration - Stern (1997) (Correct)
Active bibliography (related documents): More All
0.9: Random Walk Based Heuristic Algorithms for Distributed.. - Sivaraj, Gopalakrishnan (2003) (Correct)
0.4: 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.5: Automatic Verification of the SCI Cache Coherence Protocol - Stern, Dill (1995) (Correct)
0.3: Finite-State Analysis of SSL 3.0 - Mitchell, al. (1998) (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/article/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/article/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
478 The Stanford DASH multiprocessor (context) - Lenoski, Laudon et al. - 1992
362 The Stanford FLASH multiprocessor (context) - Kuskin, Ofelt et al. - 1994
358 Universal classes of hash functions (context) - Carter, Wegman - 1979
143 Sequential circuit verification using symbolic model checkin.. (context) - Burch, Clarke et al. - 1990
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
37 Generic Active Message Interface Specification (context) - Culler, Keeton et al. - 1995
29 The Mur' verification system - Dill - 1996
18 New techniques for efficient verification with implicitly co.. - Hu, York et al. - 1994
16 A parallel algorithm for constructing binary decision diagra.. (context) - Kimura, Clarke - 1990
15 Improved probabilistic verification by hash compaction - Stern, Dill - 1995
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
14 Implementation of an efficient parallel BDD package - Stornetta, Brewer - 1996
14 Implementation of an efficient parallel BDD package - Stornetta - 1995
8 State Reduction Methods for Automatic Formal Verification - Ip - 1996
7 Binary decision diagrams on network of workstations - Ranjan, Sanghavi et al. - 1996
4 A distributed task queue for load balancing on the CM (context) - Wen
4 Finite state machine verification on MIMD machines (context) - Kumar, Vemuri - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sprout.stanford.edu/dill/murphi.html): More
Improved Probabilistic Verification by Hash Compaction - Stern, Dill (1995) (Correct)
Finite-State Analysis of SSL 3.0 - Mitchell, al. (1998) (Correct)
Automated Analysis of Cryptographic Protocols Using Murphi - Mitchell, Mitchell, Stern (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