Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. LTL3 tools

LTL3 tools 0.0.7

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

Kolekcja narzędzi, które mogą być używane do generowania monitorów ("watchdogs") z formuł LTL. Jest to znane z obszaru weryfikacji środowiska uruchomieniowego. Aby uzyskać więcej informacji, zobacz stronę główną skojarzonego projektu.

historia wersji

  • Wersja 0.0.7 opublikowany na 2009-04-01
    Kilka poprawek i aktualizacji
  • Wersja 0.0.7 opublikowany na 2009-04-01

Szczegóły programu

Programy pokrewne

  • Neve Wolna

    Środowisko wizualizacji NEtwork jest ramą wizualizacji 3D sieci, w szczególności sieci komunikacyjnych, takich jak Internet w czasie rzeczywistym, jak i jako narzędzie symulacyjne. Na podstawie JMX/Java3D.

  • Wikidsmart Wolna

    Wikidsmart zAgile zamienia Confluence w semantyczną wiki i repozytorium wiedzy. Zbudowana na zCALM, semantycznej infrastrukturze internetowej dla współdziałania aplikacji, staje się pulpitem nawigacyjnym informacji po dodaniu

  • sdf2xyz2sdf Wolna

    Oprogramowanie open-source do konwersji plików SDF do plików TINKER XYZ (i viceversa) z automatycznym przypisywaniem typów atomów MMFF94, typów obligacji i opłat

  • Alcoholics Anonymous 12 Steps Bezpłatna wersja próbna

    Pomaga w odzyskaniu uzależnień i stanowi przydatne odniesienie dla każdego członka AA.Big Book, Kalkulator trzeźwości, 12 kroków i tradycji, Znajdź Spotkania AA, Modlitwy.Funkcje obejmują:Wielka książka -Oryginaln

  • Drum Count Wolna

    Drum Count to proste narzędzie, które analizuje dźwięk w czasie rzeczywistym, aby zmierzyć liczbę uderzeń odtwarzanych na perkusji.

  • FBReader LitRes plugin Bezpłatna wersja próbna

    Dodatkowe funkcje fbreader litres.ru integracji.Dostęp do sklepu za pomocą jednego kliknięcia.Zarejestruj nowych użytkowników bezpośrednio z FBReader, doładuj swoje konto za pomocą wiadomości tekstowych i kart kredytow

  • quickdoc Wolna

    QuickDoc to analizator dokumentów java, który odczytuje dokumenty z plików tekstowych w prostym języku i eksportuje dokument do innych formatów, takich jak PDF, HTML, Java Help i XML.

  • The Earth Science Markup Language Wolna

    ESML to technologia wymiany, która wykorzystuje zewnętrzne metadane, aby umożliwić aplikacjom płynne podłączanie i odtwarzanie z zestawami danych earth science w heterogenicznych formatach.

  • RoboCup GameController Wolna

    RoboCup GameController to oprogramowanie typu open source używane w RoboCup Humanoid League i Standard Platform League. Polecenia sędziego są wysyłane do robotów na boisku za pośrednictwem sieci bezprzewodowej, aby osiągnąć w

  • PMath Wolna

    PMath jest palmowym edytorem WYSIWYG tekstów matematycznych z możliwością przekonwertowania ich na LaTeX.