Matlab

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.