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

Triple-A 1.4.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

Triple-A (Automatic Analysis with Automata) es una biblioteca completa para autómatas (finitos) escrita en Java con dos potentes herramientas de análisis (que tratan con la comprobación de modelos LTL y la aritmética de Presburger) y una interfaz gráfica de usuario construida a su alrededor.

historial de versiones

  • Versión 1_2_5_5 publicado en 2011-04-18
    Varias correcciones y actualizaciones
  • Versión 1.4.1 publicado en 2007-05-13

Detalles del programa

Programas relacionados

  • Parallel partition for string qsort/qsel Gratis

    Implementación secuencial y paralela de cadenas quicksorts(-select). Artículos: Sobre el número de búsquedas de cadenas en BSTs (y algoritmos relacionados) con acceso digital/ Combinando acceso digital y partición paralela pa

  • pgreplay Gratis

    Lee un archivo de registro de base de datos PostgreSQL, extrae las instrucciones SQL y las ejecuta en el mismo orden y tiempo en otro servidor de base de datos. Es útil para pruebas de rendimiento con carga de trabajo del mun

  • ldapenum Gratis

    ldapenum es un script perl diseñado para enumerar la información del sistema y la contraseña de los controladores de dominio que utilizan el servicio LDAP cuando IPC$ está bloqueado. El script ha sido probado en Windows y Lin

  • F2Ashell Gratis

    Este Shell le permite tener una interfaz de texto fácil para sondear su código. El código debe estar relacionado con una biblioteca DLL para interactuar con el shell. Se proporciona una plantilla para implementar esto. Proyec

  • DataModeler Gratis

    PROYECTO SE DESARROLLA BAJO UN NOMBRE DIFERENTE: Por favor visite http://sourceforge.net/projects/modelbuilder/ Datamodeler ofrece a los científicos e ingenieros la posibilidad de encontrar cualquier modelo multivariante para

  • GFFT Gratis

    Implementación genérica simple y eficiente de Fast Fourier Transforms (FFT) mediante el diseño basado en políticas y la metaprogramación de plantillas en C++

  • SASUnit Gratis

    SASUnit es un marco de pruebas unitarias para programas SAS(TM). Se puede utilizar para el desarrollo, ejecución y documentación automática de pruebas para programas SAS. SASUnit se escribe puramente sobre la base de macros S

  • DomSQL Gratis

    Lenguaje de consulta estructurado documente modelo , basado en PHP5 y MySQL! Ejemplo: 'SELECT 'body[0] innerCode' FROM 'http://example.com';

  • Stormtrooper Clock Widget Prueba gratuita

    Un widget StormtrooperClock. Con sables de luz rojos para mostrar horas y minutos.Tamaño: 2 x 2Añadir a la pantalla de inicio como un widget.

  • ABIcheck binary compatibility tool Gratis

    ABIcheck es una herramienta para comprobar lacumplimiento de la interfaz binaria de aplicación definida por una biblioteca(ABI). Se basa en la información de definición de la ABI contenida en elBiblioteca. Se proporci