Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. LTL3 tools

LTL3 tools 0.0.7

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.7/5 - ‎3 ‎Votos
Download

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.

história da versão

  • Versão 0.0.7 postado em 2009-04-01
    Várias correções e atualizações
  • Versão 0.0.7 postado em 2009-04-01

Detalhes do programa

Programas Relacionados

  • Neve Livre

    O Ambiente de Visualização NEtwork é uma estrutura para visualização 3D e interação com redes, especialmente redes de comunicação como a internet tanto em tempo real quanto como ferramenta de simulação. Baseado em JMX/Java3D.

  • Wikidsmart Livre

    O Wikidsmart de zAgile transforma a Confluence em um wiki semântico e repositório de conhecimento. Construído no zCALM, a infraestrutura web semântica para interoperabilidade de aplicativos, torna-se um painel de informações

  • sdf2xyz2sdf Livre

    Um software de código aberto para converter arquivos SDF em arquivos TINKER XYZ (e viceversa) com atribuição automática de tipos de átomos MMFF94, tipos de títulos e taxas

  • Alcoholics Anonymous 12 Steps Avaliação gratuita

    Auxilia na recuperação de vícios e fornece uma referência útil para qualquer membro AA.Big Book, Sobriety Calculator, 12 Passos e Tradições, Encontre Reuniões AA, Orações.As características incluem:O Grande Livro -

  • Drum Count Livre

    Drum Count é uma ferramenta simples que analisa o som em tempo real para medir o número de traçados tocados em um conjunto de tambores.

  • FBReader LitRes plugin Avaliação gratuita

    Recursos adicionais para FBReader litres.ru integração.Um clique litros de acesso à loja.Cadastre novos usuários diretamente do FBReader, cubra sua conta através de mensagens de texto e cartões de crédito.

  • quickdoc Livre

    QuickDoc é um analisador de documentos java que lê documentos de arquivos de texto simples usando um idioma simples e exporta o documento para outros formatos como PDF, HTML, Java Help e XML.

  • The Earth Science Markup Language Livre

    O ESML é uma tecnologia de intercâmbio que utiliza metadados externos para permitir que os aplicativos conectem e reprodumente perfeitamente com conjuntos de dados específicos da Earth Science em formatos heterogêneos.

  • RoboCup GameController Livre

    RoboCup GameController é um software de código aberto usado na RoboCup Humanid League e na Standard Platform League. Os comandos do árbitro são enviados aos robôs no campo de jogo via rede sem fio para alcançar uma maior auto

  • PMath Livre

    PMath é um editor de textos matemáticos da WYSIWYG baseado em Palm com a possibilidade de convertê-los para LaTeX.