User Documentation

• User manual explains the STLmc modelling language and how to use the tool.
• Installation and troubleshooting covers solver setup and platform-specific requirements.
• GUI user guide covers editing models, running analyses, and inspecting results.

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.