Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Triple-A

Triple-A 1.4.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

Triple-A (Automatic Analysis with Automata) to w pełni funkcjonalna biblioteka dla (skończonej) automaty napisanej w Javie z dwoma potężnymi narzędziami analitycznymi (zajmującymi się sprawdzaniem modelu LTL i arytmetyką Presburgera) i graficznym interfejsem użytkownika zbudowanym wokół niego.

historia wersji

  • Wersja 1_2_5_5 opublikowany na 2011-04-18
    Kilka poprawek i aktualizacji
  • Wersja 1.4.1 opublikowany na 2007-05-13

Szczegóły programu

Programy pokrewne

  • Parallel partition for string qsort/qsel Wolna

    Sekwencyjna i równoległa implementacja quicksorts ciągu(-select) . Artykuły: Na liczbę odnośników ciągów w BSTs (i powiązanych algorytmów) z dostępem cyfrowym / Łączenie dostępu cyfrowego i partycji równoległej dla quicksort

  • pgreplay Wolna

    Odczytuje plik dziennika bazy danych PostgreSQL, wyodrębnia instrukcje SQL i wykonuje je w tej samej kolejności i chronometrażu względem innego serwera bazy danych. Przydatne do testów wydajności z obciążeniem w świecie rzecz

  • ldapenum Wolna

    ldapenum to skrypt perl przeznaczony do wyliczenia informacji o systemie i hasłach z kontrolerów domeny korzystających z usługi LDAP, gdy IPC$ jest zablokowany. Skrypt został przetestowany na windows i linux. Scenariusz jest

  • F2Ashell Wolna

    Ta powłoka pozwala mieć łatwy interfejs tekstowy do sondowania kodu. Kod musi być powiązany z biblioteką biblioteki DLL, aby wchodzić w interakcje z powłoką. Szablon do zaimplementowania jest dostarczany. Projekt WEB: http://

  • DataModeler Wolna

    PROJEKT JEST ROZWIJANY POD INNĄ NAZWĄ: Odwiedź http://sourceforge.net/projects/modelbuilder/ Datamodeler daje naukowcom i inżynierom możliwość znalezienia dowolnego modelu wielowymiarowego dla dowolnego zestawu danych, jak zł

  • GFFT Wolna

    Ogólna prosta i wydajna implementacja fast fourier transforms (FFT) przy użyciu projektowania opartego na zasadach i metaprogramowania szablonów w języku C++

  • SASUnit Wolna

    SASUnit jest jednostkową platformą testową dla programów SAS(TM). Może być używany do opracowywania, wykonywania i automatycznej dokumentacji testów dla programów SAS. SASUnit jest napisany wyłącznie na podstawie makr SAS i k

  • DomSQL Wolna

    Dokument model obiektu Structured Query Language , na podstawie PHP5 i MySQL! Przykład: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Bezpłatna wersja próbna

    Widżet StormtrooperClock. Z czerwonymi mieczami świetlnymi do wyświetlania godzin i minut.Rozdzielczość: 2 x 2Dodaj do ekranu głównego jako widżet.

  • ABIcheck binary compatibility tool Wolna

    ABIcheck jest narzędziem do sprawdzaniazgodność z zdefiniowanym interfejsem binarnym aplikacji biblioteki(ABI). Opiera się ona na informacjach definicji ABI zawartych wBiblioteki. Przykładowe definicje są podane dla G