Requirements for building the PASTA tool and running proof-of-concept examples:
- Linux (tested on Ubuntu 20.04), 4 GB memory
- OpenJDK, Ant, and Maven (default in the package provider, e.g., apt)
Requirements for running the reproduction kit (Docker image):
- Linux/Windows, 8 GB memory
- Docker