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

LTL3 tools 0.0.7

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.7/5 - ‎3 ‎votos
Baixar

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.

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 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.