LoTuS is a open-source tool to graphic behaviour modelling of software using LTS. It aim to make the modelling process easier by providing drag-and-drop drawing tools. Making the learning curve tiny, removing the pré-requisite for modeller learn some formal specification language. This path, the use and learn of formal methods becames more accessible.
LoTuS requires JRE 8. Check your java version with:
If needed, install the JRE on your system: Install JRE 8
Linux in normal: $ ./lotus Linux in debug: $ ./lotus –debug
- examples contains sample files
- extensions thirty-part plugins, plugins shoul be placed here
- lib contains all code needed to run LoTuS
More information can be found at http://jeri.larces.uece.br/lotus