LTL3 tools 0.0.7
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 4.7/5 - 3 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre LTL3 tools
Uma coleção de ferramentas que podem ser usadas para gerar monitores ("watchdogs") a partir de fórmulas LTL. Isso é conhecido da área de verificação do tempo de execução. Para obter mais informações, consulte a página inicial do projeto associado.