Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Triple-A

Triple-A 1.4.1

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

Triple-A (Automatic Analysis with Automata) is een volledige bibliotheek voor (eindige) automata geschreven in Java met twee krachtige analysetools (omgaan met LTL-modelcontrole en Presburger rekenkunde) en een grafische gebruikersinterface eromheen.

versiegeschiedenis

  • Versie 1_2_5_5 geplaatst op 2011-04-18
    Verschillende oplossingen en updates
  • Versie 1.4.1 geplaatst op 2007-05-13

Programmadetails

Gerelateerde programma's

  • Parallel partition for string qsort/qsel Gratis

    Sequentiële en parallelle implementatie van snaarsnelorts(-select) . Artikelen: Op het aantal tekenreeksopzoekingen in BST's (en gerelateerde algoritmen) met digitale toegang/ Het combineren van digitale toegang en parallelle

  • pgreplay Gratis

    Leest een PostgreSQL-databaselogboekbestand, haalt de SQL-instructies en voert deze in dezelfde volgorde en timing uit ten opzichte van een andere databaseserver. Handig voor prestatietests met echte werkbelasting.

  • ldapenum Gratis

    ldapenum is een perl script ontworpen om systeem- en wachtwoordgegevens van domeincontrollers op te sommen met behulp van de LDAP-service wanneer IPC$ is vergrendeld. Het script is getest op Windows en Linux. Het script staat

  • F2Ashell Gratis

    Met deze Shell beschikt u over een eenvoudige tekstinterface om uw code te onderzoeken. Uw code moet gerelateerd zijn aan een DLL-bibliotheek om te kunnen communiceren met de shell. Er wordt een sjabloon meegeleverd om dit te

  • DataModeler Gratis

    PROJECT WORDT ONTWIKKELD ONDER EEN ANDERE NAAM: Bezoek http://sourceforge.net/projects/modelbuilder/ Datamodeler geeft wetenschappers en ingenieurs de mogelijkheid om een multivariate model te vinden voor elke dataset, hoe co

  • GFFT Gratis

    Generieke eenvoudige en efficiënte Fast Fourier Transforms (FFT) implementatie met behulp van beleidsgebaseerd ontwerp en sjabloonmetaprogrammering in C++

  • SASUnit Gratis

    SASUnit is een unit testing framework voor SAS(TM)-programma's. Het kan worden gebruikt voor de ontwikkeling, uitvoering en automatische documentatie van tests voor SAS-programma's. SASUnit is puur geschreven op basis van SAS

  • DomSQL Gratis

    Document Object Model Structured Query Language , gebaseerd op PHP5 en MySQL! Voorbeeld: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Gratis proefperiode

    Een StormtrooperClock widget. Met rode lichtzwaarden om uren en minuten weer te geven.Grootte: 2 x 2Toevoegen aan homescreen als een widget.

  • ABIcheck binary compatibility tool Gratis

    ABIcheck is een hulpmiddel voor het controleren van denaleving van de gedefinieerde binaire toepassingsinterface van een bibliotheek(ABI). Zij baseert zich op abi-definitie-informatie in deBibliotheek. Voorbeelddefini