abstools

The ABS modeling language and surrounding tools

Support for ABS in the editor Visual Studio Code.

abs-models.org website deployment point. Source at abstools/abs-models.org/

ABS Examples

A web frontend for the ABS toolchain

Support for ABS in the Emacs editor.

A tool to replay a log file as a series of queries onto an HTTP endpoint.

Translating a subset of ABS to pure Haskell for proving correctness and resource consumption