Description
Runtime-monitoring specifications can be processed with the TeSSLa Java toolchain bundle. It installs tessla.jar and a /usr/bin/tessla runner; input traces, specifications, generated reports, and project paths may contain proprietary system behavior.