Replicability Package: CAV'18 Experiments with DPU

This folder contains all the necessary information to repeat the experiments of our CAV'18 paper:

Quasi-Optimal Partial Order Reduction.
Huyen T.T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, and Laure Petrucci.
Proceedings of Computer Aided Verification.  To appear.

Specifically we include:

• The sources of all verification tools used in the paper.
• The binary distribution of those tools (x64)
• The benchmarks used in the paper.
• Documentation providing guided steps to repeat the experiments.

If you want to repeat the experiments, please continue reading the file doc/1-intro.md, available here.