Submit Software
  1. Home
  2. Windows
  3. Other
  4. Triple-A
  5. Download

Triple-A 1.4.1

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

ABOUT Triple-A

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

Related Programs

  • Parallel partition for string qsort/qsel Free

    Sequential and parallel implementation of string quicksorts(-select) . Articles: On the number of string lookups in BSTs (and related algorithms) with digital access/ Combining digital access and parallel partition for quicks

  • pgreplay Free

    Reads a PostgreSQL database log file, extracts the SQL statements and executes them in the same order and timing against another database server. Useful for performance tests with real-world workload.

  • ldapenum Free

    ldapenum is a perl script designed to enumerate system and password information from domain controllers using the LDAP service when IPC$ is locked. The script has been tested on windows and linux. The script is still in its i

  • F2Ashell Free

    This Shell allows you to have an easy text interface to probe your code. Your code must be related to a DLL library to interact with the shell. A template to implement this is provided. Project WEB: http://sites.google.com/si

  • DataModeler Free

    PROJECT IS BEING DEVELOPED UNDER A DIFFERENT NAME: Please visit http://sourceforge.net/projects/modelbuilder/ Datamodeler gives scientists and engineers the possiblity to find any multivariate model for any dataset, how compl

  • GFFT Free

    Generic simple and efficient Fast Fourier Transforms (FFT) implementation using policy-based design and template metaprogramming in C++

  • SASUnit Free

    SASUnit is a unit testing framework for SAS(TM)-programs. It can be used for the development, execution and automatic documentation of tests for SAS programs. SASUnit is written purely on the basis of SAS macros and a few she

  • DomSQL Free

    Document Object Model Structured Query Language , based on PHP5 and MySQL! Example: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Free Trial

    A StormtrooperClock Widget. With red lightsabers to display hours and minutes.Size: 2 x 2Add to homescreen as a widget.

  • ABIcheck binary compatibility tool Free

    ABIcheck is a tool for checking an application'scompliance with a library's defined Application Binary Interface(ABI). It relies on ABI definition information contained in thelibrary. Example definitions are given for GN