Conversion from old tutorials is on-going and help is most welcome.
This tutorial gives an overview of the ABS language.
We prototype a static analysis technique that computes upper bounds of virtual machine usages in a dialect of ABS called vml.
CostABS is a a static analyzer for automatically inferring upper/lower bounds on the worst/best-case Resource usage (a.k.a. cost) of ABS programs. In this tutorial, we overview the different features of CostABS by example.
An introduction to time and resource modeling in ABS.
These tutorials were written during the Envisage and HaTS projects. The pdfs are provided as-is and might contain outdated information.