CGP Case Study

In our first case study we tried to evaluate the proposed approach executing it manually. We used specifications for the CGP system which is responsible for controlling the process of opening and closing a subway door. A simplified version of this specification can be found here. Since it is a commercial product we cannot provide the complete specification.

The reports generated with the tool can be downloaded here. For more information about this case study read this paper.