Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. MCTK: a symbolic model checker for MAS
  5. Download

MCTK: a symbolic model checker for MAS

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

O MCTK: a symbolic model checker for MAS

MCTK (Model Checking Time and Knowledge) to symboliczny kontroler modelu dla systemów wieloagentowych, który obsługuje weryfikację czasowej logiki wiedzy. Został opracowany w oparciu o NuSMV 2.1.2 przez Xiangyu Luo.

Programy pokrewne

  • MedIC Automated Pipeline Scheduler Wolna

    Rozszerzenie platformy wtyczki MIPAV (Medical Image Processing, Analysis, and Visualization), która umożliwia użytkownikowi projektowanie i wykonywanie potoków, które są zadaniami przetwarzania wieloetapowego.

  • SmartHASH Wolna

    SmartHASH to komputerowe narzędzie kryminalistyczne zaprojektowane w celu wykreślenia chrząkania z procesu analizy; oszczędzając w ten sposób dużo czasu w aspekcie analizy większości dochodzeń.

  • Entropy Wolna

    TEN PROJEKT NIE JEST JUŻ HOSTOWANY ANI AKTUALIZOWANY W PROGRAMIE SOURCEFORGE

  • Flash Authoring iPhone Components Wolna

    Flash Authoring Components to help with iPhone Development. Możesz wysłać do mnie wiadomość e-mail na [email protected] z identyfikatorem Source Forge, który chcesz dołączyć do projektu.

  • Asp.net Web Utilities Framework Wolna

    Asp.net struktury narzędzi internetowych, aby pomóc mi (i innym) w moich przyszłych projektach Framework będzie po prostu zapewnić proste klasy i kontroli użytkownika itp dla wspólnych funkcji - w pudełku i gotowe do rozsze

  • DARKSTARgames Open Source Project Wolna

    DARKSTARgames to hobbystyczny projekt tworzenia gier. Nasz silnik 3D EVEN zostanie opublikowany jako Open Source wraz z wydaniem gry przeznaczonym na 2007. Jednak mamy już teraz oprogramowanie, które może być interesujące dla

  • Workgroup Manager Wolna

    Workgroup Manager (WGM) to narzędzie do zarządzania grupą roboczą systemu Windows umożliwiające zdalne zarządzanie użytkownikiem/grupą i optymalizację grupy roboczej. Użytkownicy i grupy mogą być dodawane / edytowane / usuwan

  • ascentemu Wolna

    Ascent – pakiet oprogramowania serwerowego dla World of Warcraft.To repozytorium jest kopią zapasową nieistniejącego już projektu.Został on zastąpiony przez Arcemu.

  • Command-Line Argument Parser For Java Wolna

    Jest to biblioteka do łatwego analizowania argumentów wiersza polecenia w języku Java w sposób zorientowany obiektowo za pomocą odbiorników i zdarzeń.

  • L2IrcBot Wolna

    L2IrcBot jest implementacją API PircBot w celu sprawdzenia stanu w trybie offline Lineage 2-Servers, zdefiniowanego przez jeden lub więcej plików konfiguracyjnych.