Breach is a Matlab/Simulink toolbox for time series analysis and simulation-based analysis of dynamical/CPS/Hybrid systems. It features Signal Temporal Logic (STL) monitoring, test case generation and optimization-based falsification methods.

STLRom is a C++ library with python bindings for Robust online monitoring of Signal Temporal Logic. It computes interval robustness as defined in ‘Robust online monitoring of signal temporal logic’ by Deshmuk et al, although the algorithm is not exactly the one described in this paper.