This page features a list of tutorials for most tools that work with the ABS language.
Conversion from old tutorials is on-going and help is most welcome.
This tutorial gives an overview of the ABS language.
An introduction to time and resource modeling in ABS.
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.
The maypar static analysis tool finds pairs of program statements that possibly execute in parallel.
We prototype a static analysis technique that computes upper bounds of virtual machine usages in a dialect of ABS called vml.
These tutorials were written during the Envisage and HaTS projects. The pdfs are provided as-is and might contain outdated information.
Resource Analysis (SACO) Tutorial
Resource Analysis (SRA) Tutorial
Deadlock Analysis (SACO) Tutorial
Deadlock Analysis (SRA) Tutorial
Systematic Testing (SYCO) & Test Case Generation (aPET) Tutorial