Verification Pierre Wolper and Patrice Godefroid Universit'e de Li`ege,...  Home/Search
Context
Related
| montefiore.ulg.ac.be/servic...WG93.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: montefiore.ulg.ac.be/se...popack (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A common approach for verifying a concurrent system is to compute the product of finite-state descriptions of the processes involved. (Update)
Similar documents based on text: More All
0.8: State-Space Caching Revisited - Godefroid, Holzmann, Pirottin (1995) (Correct)
0.7: Memory-Efficient Algorithms for the Verification.. - Courcoubetis.. (1992) (Correct)
0.7: On the Representation of Infinite Temporal Data and Queries - Baudinet, Niézette, Wolper (1991) (Correct)
BibTeX entry: (Update)
@misc{ wolper-partialorder,
author = "Verification Pierre Wolper",
title = "Partial-Order Methods for Temporal",
url = "citeseer.ist.psu.edu/613605.html" }
Citations (may not include all citations):434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
207 A stubborn attack on state explosion (context) - Valmari - 1990
132 Using partial orders for the efficient verification of deadl.. (context) - Godefroid, Wolper - 1993
132 Using partial orders for the efficient verification of deadl.. (context) - Godefroid, Wolper - 1991
112 Memory efficient algorithms for the verification of temporal.. - Courcoubetis, Vardi et al. - 1992
106 A partial approach to model checking - Godefroid, Wolper - 1991
96 Using unfolding to avoid the state explosion problem in the .. (context) - McMillan - 1992
94 Using partial orders to improve automatic verification metho.. (context) - Godefroid - 1990
86 Stubborn sets for reduced state space generation (context) - Valmari - 1991
85 Recognizing safety and liveness - Alpern, Schneider - 1987
85 Trace theory (context) - Mazurkiewicz - 1986
68 one for all: on model checking using representatives (context) - Peled, one - 1993
59 the relation of programs and computations to models of tempo.. (context) - Wolper - 1989
56 fly verification with stubborn sets (context) - Valmari - 1993
53 Coverage preserving reduction strategies for reachability an.. - Holzmann, Godefroid et al. - 1992
[Article contains additional citations not shown here]
Documents on the same site (http://www.montefiore.ulg.ac.be/services/verif/po-pack.html): More
State-Space Caching Revisited - Godefroid, Holzmann, al. (1992) (Correct)
Coverage Preserving Reduction Strategies for.. - Holzmann, Godefroid.. (1992) (Correct)
Refining Dependencies Improves - Partial-Order Verification Methods (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