GitHub repository: lotus-tool/lotus-tool
Primary language: Java
Description: LoTuS is a tool for graphic behaviour modelling of software using LTS