Software

Currently mainly some experimental code accompanying research papers.

Julia

Python

  • rtamt – STL real-time monitoring library.
  • stlpy – library for control from STL specifications.

Matlab

  • Breach – toolbox for time series analysis and simulation-based analysis of systems with respect to STL specifications.

  • CORA – toolbox for reachability analysis by set-propagation techniques, but it also supports STL syntax.

  • Beware that Matlab’s toolboxes such as Requirements Toolbox, Simulink Test, and Simulink Design Verifier mention some temporal logic and temporal operators (for instance here), but they do not adhere to the syntax of STL.

A lot more can be found but those are mostly abandoned and unmaintained for some time.

Back to top