lotus-tool
LoTuS is a tool for graphic behaviour modelling of software using LTS
Updated 11 Feb 2017 by brunosb
TCG
A ferramenta TCG (Test Case Generation) é um plugin para a ferramenta de modelagem LoTuS.
Updated 11 Feb 2017 by brunosb
Lotus@Runtime
A tool for monitoring and verifying self-adaptive systems using probabilistic models at runtime.