All posts by Rudolf Schlatte

ABS Online: Formal Methods as a Service

All the tools developed in the Envisage project are available in the ABS Collaboratory. ABS supports the modeling of services and SLA for deployment on the cloud. The ABS tools are now online This enables you to try the modelling language and analysis tools as a service. Try the ABS Online Tools now!

The ABS online tools include simulation with visualization support, deadlock analysis, cost analysis, deployment synthesis, and test case generation (see

The ABS language manual has been updated and made web-ready at

The tools are open source. Source code for the tools is available at  The tools can be compiled and installed locally (also via Vagrant or docker).