Ferramentas

lotus-tool

LoTuS is a tool for graphic behaviour modelling of software using LTS.

TCG

A ferramenta TCG (Test Case Generation) é um plugin para a ferramenta de modelagem LoTuS.

Lotus@Runtime

A tool for monitoring and verifying self-adaptive systems using probabilistic models at runtime.

Twitter Feed GESAD