LTL3 tools 0.0.7
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 4.7/5 - 3 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar 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. Isto é conhecido da área de verificação do tempo de execução. Para mais informações, consulte a página inicial do projeto associado.