Documentations

  • :memo: User manual explains the STLmc modelling language and usage of the tool. We also provide a tutorial in this link.
  • :fax: Technical report explains more details about the algorithms, STLmc language, and various analyses on a wide range of hybrid systems.