Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Triple-A

Triple-A 1.4.1

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Triple-A (Automatic Analysis with Automata) est une bibliothèque complète pour les automates (finis) écrits en Java avec deux outils d’analyse puissants (traitant de la vérification des modèles LTL et de l’arithmétique Presburger) et une interface utilisateur graphique construite autour d’elle.

historique de la version

  • Version 1_2_5_5 posté sur 2011-04-18
    Plusieurs correctifs et mises à jour
  • Version 1.4.1 posté sur 2007-05-13

Détails du programme

Programmes connexes

  • Parallel partition for string qsort/qsel Gratuit

    Mise en œuvre séquentielle et parallèle de quicksorts de chaîne (-sélectionnez) . Articles: Sur le nombre de recherches de chaîne dans les BSTs (et les algorithmes connexes) avec accès numérique / Combinant l’accès numérique

  • pgreplay Gratuit

    Lit un fichier journal de base de données PostgreSQL, extrait les instructions SQL et les exécute dans le même ordre et le même timing contre un autre serveur de base de données. Utile pour les tests de performance avec une c

  • ldapenum Gratuit

    ldapenum est un script perl conçu pour énumérer les informations de système et de mot de passe des contrôleurs de domaine utilisant le service LDAP lorsque IPC$ est verrouillé. Le script a été testé sur Windows et Linux. Le s

  • F2Ashell Gratuit

    Cette Shell vous permet d’avoir une interface texte facile pour sonder votre code. Votre code doit être lié à une bibliothèque DLL pour interagir avec la coquille. Un modèle pour implémenter ceci est fourni. Projet WEB : http

  • DataModeler Gratuit

    LE PROJET EST EN COURS DE DÉVELOPPEMENT SOUS UN NOM DIFFÉRENT : Veuillez visiter http://sourceforge.net/projects/modelbuilder/ Datamodeler donne aux scientifiques et aux ingénieurs la possiblity pour trouver n’importe quel mo

  • GFFT Gratuit

    Implémentation générique simple et efficace de Fast Fourier Transforms (FFT) à l’aide d’une conception basée sur les politiques et d’une métaprogrammation de modèles dans C++

  • SASUnit Gratuit

    SASUnit est un cadre de test unitaire pour les programmes SAS(TM). Il peut être utilisé pour le développement, l’exécution et la documentation automatique des tests pour les programmes SAS. SASUnit est écrit uniquement sur la

  • DomSQL Gratuit

    Document Object Model Structured Query Language , basé sur PHP5 et MySQL! Exemple : 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Essai gratuit

    Un widget StormtrooperClock. Avec des sabres laser rouges pour afficher les heures et les minutes.Taille: 2 x 2Ajouter à l’écran d’accueil comme widget.

  • ABIcheck binary compatibility tool Gratuit

    ABIcheck est un outil de contrôle desconformité à l’interface binaire d’application définie d’une bibliothèque(ABI). Il s’appuie sur les informations de définition de l’ABI contenues dans leBibliothèque. Des définitio