|
176
|
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
|
|
10
|
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
|
Partial-order verification in SPIN can be more efficient
– Hans Van Der Schoot
- 1997
|
|
1
|
An Improvement in Partial-Order Model-Checking With Ample Sets
– Hans Van Der Schoot, Hasan Ural
- 1996
|
|
9
|
Improving Spin’s Partial-Order Reduction for Breadth-First Search, Model Checking
– Gerard J. Holzmann
- 2005
|
|
10
|
Relaxed Visibility Enhances Partial Order Reduction
– Doron Peled , et al.
- 2000
|
|
47
|
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
|
|
2
|
Enhancing Partial-Order Reduction via Process Clustering
– Twan Basten, Dragan Bosnacki
- 2001
|
|
|
Report on Analysis and Verification Techniques
– Peter Herrmann, Heiko Krumm
- 1992
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
1
|
On Topological Hierarchies of Temporal Properties
– Christel Baier, Marta Kwiatkowska
- 1996
|
|
5
|
Petri Nets, Traces, and Local Model Checking
– Allan Cheng
- 1995
|
|
42
|
Model-Checking of Causality Properties
– Rajeev Alur, Doron Peled, Wojciech Penczek
- 1995
|
