Supplementary Materials for
This is a supplementary page for the experiment in Compositional Partial Order Reduction for Concurrent Systems. This page is maintained by Tian Huat Tan, and he can be reached by , any questions regarding the experiments is welcome.
In this section, instructions of downloading the PAT tool and how to verify an Orc Model with PAT is given.
Alternatively, you can also download all models in zip format here.