Documentation

The ABS language reference is the authoritative guide to what constitutes a legal ABS model, how to specify a Software Product Line, and how to use annotations to model time and resources.

We offer tutorials for the ABS language itself, as well as most tools that use ABS as an input language.