Descrição
Modelos formais de sistemas síncronos podem ser desenvolvidos com a distribuição livre das ferramentas Lustre versão 4.
Este pacote é útil para pesquisadores, estudantes e engenheiros que trabalham com especificações Lustre ou design baseado em modelos. Ele é um conjunto de ferramentas de desenvolvimento, não uma IDE geral de programação.
Ferramentas de modelagem dependem de premissas precisas. Valide artefatos gerados antes de usá-los em decisões críticas de segurança.