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

Triple-A 1.4.1

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

Triple-A (Análise Automática com Automata) é uma biblioteca em destaque para (finite) automata escrita em Java com duas poderosas ferramentas de análise (lidar com verificação de modelos LTL e aritmética presburger) e uma interface gráfica do utilizador construída em 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 Grátis

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

  • pgreplay Grátis

    Lê um ficheiro de registo de base de dados PostgreSQL, extrai as declarações DO SQL e executa-as na mesma ordem e tempo contra outro servidor de base de dados. Útil para testes de desempenho com carga de trabalho no mundo rea

  • ldapenum Grátis

    O ldapenum é um script perl projetado para enumerar informações de sistema e palavra-passe de controladores de domínio usando o serviço LDAP quando O IPC$ está bloqueado. O guião foi testado nas janelas e no linux. O guião ai

  • F2Ashell Grátis

    Esta Shell permite-lhe ter uma interface de texto fácil para sondar o seu código. O seu código deve estar relacionado com uma biblioteca DLL para interagir com a concha. Um modelo para implementar isto é fornecido. Project WE

  • DataModeler Grátis

    O PROJETO está a ser desenvolvido sob um nome diferente: Visite http://sourceforge.net/projects/modelbuilder/ Datamodeler dá aos cientistas e engenheiros a possibilidade de encontrar qualquer modelo multivariado para qualquer

  • GFFT Grátis

    Implementação genérica simples e eficiente de Fast Fourier Transforms (FFT) utilizando design baseado em políticas e metaprogramação de modelo em C++

  • SASUnit Grátis

    SASUnit é um quadro de testes unitários para programas SAS (TM). Pode ser usado para o desenvolvimento, execução e documentação automática de testes para programas SAS. SASUnit é escrito exclusivamente com base em macros SAS

  • DomSQL Grátis

    Documento Objeto Modelo Linguagem de Consulta Estruturada, com base em PHP5 e MySQL! Exemplo: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Julgamento Gratuito

    Um StormtrooperClock Widget. Com sabres de luz vermelhos para visualizar horas e minutos.Tamanho: 2 x 2Adicione ao ecrã principal como um widget.

  • ABIcheck binary compatibility tool Grátis

    ABIcheck é uma ferramenta para verificar a de uma aplicaçãoconformidade com a interface binária de aplicação definida de uma biblioteca(ABI). Baseia-se em informações de definição ABI contidas nobiblioteca. São dadas