CTL Web Service

The CTL model checker is published as an Web Service, hosted by Apache Tomcat server version 8.0.x.
There are two online servers available which are providing Web Services for CTL model checking. WSDL files of these services are located at:

http://92.63.57.165:8000/CTL-Checker/CTLCheckerService?wsdl

For optimal performances, we recommend a local Tomcat server, in which is deployed the CTL Web Service