ATL Web Service

The ATL 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 ATL model checking. WSDL files of these services are located at:

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

ATL model checker supports now H2 (in-memory) database and is provided through RESTful/SOAP Web Services!