TLTk
TLTk is a modular tool for parallel robustness computation of Signal Temporal Logic (STL) specifications. At the core of the tool, an algorithm for robustness computation is utilized that supports multi-threaded CPU/GPU computation. The tool enables parallel robustness computation of large traces. In addition, the Python implementation enables the addition and modification of temporal operators for application-specific scenarios.
The user guide can be found here.