Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Triple-A

Triple-A 1.4.1

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

Triple-A (Automatic Analysis with Automata) é uma biblioteca completa para autômatos (finitos) escritos em Java com duas poderosas ferramentas de análise (lidando com verificação de modelo LTL e aritmética presburger) e uma interface de usuário gráfica construída ao seu redor.

história da versão

  • Versão 1_2_5_5 postado em 2011-04-18
    Várias correções e atualizações
  • Versão 1.4.1 postado em 2007-05-13

Detalhes do programa

Programas Relacionados

  • Parallel partition for string qsort/qsel Livre

    Implementação sequencial e paralela de quicksorts de string(-select) . Artigos: Sobre o número de pesquisas de string em BSTs (e algoritmos relacionados) com acesso digital/ Combinando acesso digital e partição paralela para

  • pgreplay Livre

    Lê um arquivo de registro de banco de dados PostgreSQL, extrai as instruções SQL e as executa na mesma ordem e tempo contra outro servidor de banco de dados. Útil para testes de desempenho com carga de trabalho no mundo real.

  • ldapenum Livre

    Ldapenum é um script perl projetado para enumerar informações de sistema e senha de controladores de domínio usando o serviço LDAP quando o IPC$ é bloqueado. O script foi testado no Windows e linux. O roteiro ainda está em su

  • F2Ashell Livre

    Este Shell permite que você tenha uma interface de texto fácil para sondar seu código. Seu código deve estar relacionado a uma biblioteca DLL para interagir com a concha. Um modelo para implementar isso é fornecido. Projeto W

  • DataModeler Livre

    PROJETO ESTÁ SENDO DESENVOLVIDO COM UM NOME DIFERENTE: Visite http://sourceforge.net/projects/modelbuilder/ Datamodeler dá aos cientistas e engenheiros a possiblidade para encontrar qualquer modelo multivariado para qualquer

  • GFFT Livre

    Implementação genérica simples e eficiente fast fourier transforms (FFT) usando projeto baseado em políticas e metaprogramação de modelo em C++

  • SASUnit Livre

    SASUnit é uma estrutura de teste de unidade para programas SAS (TM). Pode ser usado para o desenvolvimento, execução e documentação automática de testes para programas SAS. SASUnit é escrito puramente com base em macros SAS e

  • DomSQL Livre

    Linguagem de consulta estruturada do modelo de objeto documental, com base no PHP5 e MySQL! Exemplo: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Avaliação gratuita

    Um StormtrooperClock Widget. Com sabres de luz vermelhos para exibir horas e minutos.Tamanho: 2 x 2Adicione à tela inicial como um widget.

  • ABIcheck binary compatibility tool Livre

    ABIcheck é uma ferramenta para verificar o de um aplicativoconformidade com a interface binária de aplicativos definida de uma biblioteca(ABI). Ele se baseia em informações de definição de ABI contidas noBiblioteca. A