Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Triple-A

Triple-A 1.4.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

Triple-A (Automatic Analysis with Automata) è una libreria completa per automi (finiti) scritti in Java con due potenti strumenti di analisi (che si occupano di controllo del modello LTL e aritmetica presburger) e un'interfaccia utente grafica costruita intorno ad essa.

cronologia delle versioni

  • Versione 1_2_5_5 pubblicato il 2011-04-18
    Diverse correzioni e aggiornamenti
  • Versione 1.4.1 pubblicato il 2007-05-13

Dettagli del programma

Programmi correlati

  • Parallel partition for string qsort/qsel Gratuito

    Implementazione sequenziale e parallela di stringhe quicksorts(-select) . Articoli: Sul numero di ricerca di stringhe in BST (e algoritmi correlati) con accesso digitale / Combinazione di accesso digitale e partizione paralle

  • pgreplay Gratuito

    Legge un file di registro del database PostgreSQL, estrae le istruzioni SQL e le esegue nello stesso ordine e intervallo su un altro server di database. Utile per i test delle prestazioni con carico di lavoro reale.

  • ldapenum Gratuito

    ldapenum è uno script perl progettato per enumerare le informazioni di sistema e password dai controller di dominio utilizzando il servizio LDAP quando IPC$ è bloccato. Lo script è stato testato su Windows e Linux. La scenegg

  • F2Ashell Gratuito

    Questa Shell consente di avere un'interfaccia di testo semplice per sondare il codice. Il codice deve essere correlato a una libreria DLL per interagire con la shell. Viene fornito un modello per implementarlo. Progetto WEB:

  • DataModeler Gratuito

    IL PROGETTO È IN FASE DI SVILUPPO CON UN NOME DIVERSO: visita http://sourceforge.net/projects/modelbuilder/ Datamodeler offre a scienziati e ingegneri la possibilità di trovare qualsiasi modello multivariato per qualsiasi set

  • GFFT Gratuito

    Implementazione FFT (Fast Fourier Transforms) generica semplice ed efficiente utilizzando la progettazione basata su criteri e la metaprogrammazione dei modelli in C++

  • SASUnit Gratuito

    SASUnit è un framework di unit testing per i programmi SAS(TM). Può essere utilizzato per lo sviluppo, l'esecuzione e la documentazione automatica dei test per i programmi SAS. SASUnit è scritto esclusivamente sulla base di m

  • DomSQL Gratuito

    Document Object Model Structured Query Language , basato su PHP5 e MySQL! Esempio: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Prova gratuita

    Un widget StormtrooperClock. Con spade laser rosse per visualizzare ore e minuti.Dimensioni: 2 x 2Aggiungi alla schermata iniziale come widget.

  • ABIcheck binary compatibility tool Gratuito

    ABIcheck è uno strumento per controllareconformità all'interfaccia binaria dell'applicazione definita da una libreria(ABI). Si basa sulle informazioni di definizione dell'ABI contenuteLibreria. Vengono fornite definiz