This repository contains the implementation of the industrial challenge of the WATERS workshop 2017. It belongs to the contribution of "Compositional Analysis of the WATERS Industrial Challenge 2017".
This implementation is an extension to the pyCPA core, which must be installed or available within the PYTHONPATH.
The run.sh executes the analyses and produces csv files containing the results.