All from one, one for all: on model checking using representatives (1993)

Cached

Download Links

by Doron Peled
Venue:LNCS
Citations:150 - 6 self

Active Bibliography

189 Combining Partial Order Reductions with On-the-fly Model-checking – Doron Peled - 1994
7 On Combining the Stubborn Set Method with the Sleep Set Method – Kimmo Varpaaniemi - 1994
\Lambda – unknown authors
13 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
Graphe de Pas Persistant – Graphe De Pas Persistant, Pierre-olivier Ribet, Francois Vernadat, Bernard Berthomieu - 2002
5 On combining the Persistent Sets Method with the Covering Steps Graph Method – Pierre-olivier Ribet, Francois Vernadat, Bernard Berthomieu - 2002
16 Using partial-order methods in the formal validation of industrial concurrent programs – Patrice Godefroid, Doron Peled, Mark Staskauskas - 1996
1 Guard-based Partial Order Reduction – Alfons Laarman, Elwin Pater, Jaco Van De Pol, Michael Weber
Guard-based Partial-Order Reduction – Alfons Laarman, Elwin Pater, Jaco Van De Pol, Michael Weber
1 An Improvement in Partial-Order Model-Checking With Ample Sets – Hans Van Der Schoot, Hasan Ural - 1996
1 Partial-order verification in SPIN can be more efficient – Hans Van Der Schoot - 1997
12 Improving Spin’s Partial-Order Reduction for Breadth-First Search, Model Checking – Gerard J. Holzmann - 2005
11 Relaxed Visibility Enhances Partial Order Reduction – Doron Peled , et al. - 2000
53 A Partial Order Approach to Branching Time Logic Model Checking – Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek - 1994
1 On Stubborn Sets in the Verification of Linear Time Temporal Properties – Kimmo Varpaaniemi
4 Enhancing Partial-Order Reduction via Process Clustering – Twan Basten, Dragan Bosnacki - 2001
Report on Analysis and Verification Techniques – Peter Herrmann, Heiko Krumm - 1992
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
2 On Topological Hierarchies of Temporal Properties – Christel Baier, Marta Kwiatkowska - 1996