LTL3 tools 0.0.7
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
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.
Programas Relacionados
-
Neve Grátis
O Ambiente de Visualização NEtwork é um enquadramento para a visualização 3D e interação com as redes, especialmente as redes de comunicação como a internet em tempo real e como uma ferramenta de simulação. Baseado no JMX/Jav
-
Wikidsmart Grátis
ZAgile's Wikidsmart transforma Confluence em um wiki semântico wiki e repositório de conhecimento. Construído sobre o zCALM, a infraestrutura web semântica para interoperabilidade de aplicações, torna-se um dashboard de infor
-
sdf2xyz2sdf Grátis
Um software de código aberto para converter ficheiros SDF em ficheiros TINKER XYZ (e viceversa) com atribuição automática de tipos de átomos MMFF94, tipos de ligações e encargos
-
Alcoholics Anonymous 12 Steps Julgamento Gratuito
Ajuda na recuperação de vícios e fornece uma referência útil para qualquer membro da AA.Livro Grande, Calculadora de Sobriedade, 12 Passos e Tradições, Encontre Reuniões AA, Orações.As funcionalidades incluem:O Gran
-
Drum Count Grátis
Drum Count é uma ferramenta simples que analisa o som em tempo real para medir o número de traços reproduzidos numa bateria.
-
FBReader LitRes plugin Julgamento Gratuito
Funcionalidades adicionais para a integração litres.ru FBReader.Acesso à loja de um clique.Registe novos utilizadores diretamente do FBReader, enrouga a sua conta através de mensagens de texto e cartões de crédito.
-
quickdoc Grátis
QuickDoc é um analisador de documentos java que lê documentos de ficheiros de texto simples usando uma linguagem simples e exporta o documento para outros formatos como PDF, HTML, Java Help e XML.
-
The Earth Science Markup Language Grátis
O ESML é uma tecnologia de intercâmbio que utiliza metadados externos para permitir que as aplicações liguem e joguem perfeitamente com conjuntos de dados específicos da Ciência da Terra em formatos heterogéneos.
-
RoboCup GameController Grátis
RoboCup GameController é um software de código aberto usado na Liga RoboCup Humanid e na Standard Platform League. Os comandos de árbitro são enviados para os robôs no campo de jogo através de uma rede sem fios para alcançar
-
PMath Grátis
PMath é um editor wysiwyg baseado em Palm de textos matemáticos com possibilidade de convertê-los em LaTeX.