User Documentation

• User manual explains the STLmc modelling language and how to use the tool.

Tutorial

• STLmc tutorial provides a step-by-step example of modelling a hybrid system, checking an STL property, and analyzing a counterexample.

Publication

• STLmc: Robust STL Model Checking of Hybrid Systems Using SMT, published at CAV 2022.
• Technical report, an extended version of the paper with more details about the algorithms, STLmc language, and analyses of a wide range of hybrid systems.