CTL Web Service |
The CTL model checker is published as an Web Service, hosted by Apache Tomcat server version 8.0.x. http://144.91.64.62:8080/CTL-Checker/CTLCheckerService?wsdl For optimal performances, we recommend a local Tomcat server, in which is deployed the CTL Web Service |