Experiments of

Has Partial Order Reduction Reached Its Limits?
Improving Stubborn Sets with Novel Dependency Relations

---

This webpage is used to give more details of the experiments in Has Partial Order Reduction Reached Its Limits? - Improving Stubborn Sets with Novel Dependency Relations. The approach has been implemented in LLTS module of PAT model checker. The version of PAT that contains the LLTS module can be downloaded here (run using PAT 3.exe under Windows environment, if you are using non-windows environment, you might consider to run it under Mono). All the experiment files in this paper are available here.

We construct experiments to evaluate efficiency of our method proposed in paper. All the experiments are run on a PC with Intel® Core^TM i5-2410 CPUs @2.3GHz and 4GB RAM, on a 32-bit Windows system.

To run the experiment used in the paper:

1. Open the model with *.llts extension in PAT tool;

2. Click Verification;

3. In the Verification windows, select on the item to verify, choose the correct Verification Engine and click Verify;

4. The verification result will be provided in the Output Windows.

This page is maintained by Tian Huat Tan.

Please contact with us if you have any question about this webpage or these experiments. We will reply your enquiries as soon as possible.