Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

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

MCMAS-C jest rozszerzeniem do najbardziej znanego modułu sprawdzania modelu MCMAS, który jest realizowany w celu weryfikacji systemu wieloagentowego. Nasze rozszerzenie jest związane z sprawdzaniem zobowiązań społecznych, które agenci mogą tworzyć i ich wypełnianiem. Jest to kontroler modelu dla logiki CTLC.

historia wersji

  • Wersja files opublikowany na 2011-01-25
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-01-25

Szczegóły programu

Programy pokrewne

  • MConvert - Multiformat Converter Wolna

    MConvert to projekt typu open source, który ma na celu opracowanie narzędzia do konwersji plików. Za pomocą innych narzędzi open source, MConvert chce zapewnić szeroki zakres możliwości przekształcania formatów plików.

  • WinCRC32 Wolna

    WINCRC32 wykorzystuje technologię CRC-32, aby sprawdzić każdy plik i powiadamia o wszelkich potencjalnie złych, uszkodzonych, niepoprawnych rozmiarach lub brakujących plikach, aby zaoszczędzić godziny pobierania tylko po to,

  • Web Pictures Downloader Bezpłatna wersja próbna

    Web Pictures Downloader to internetowy downloader do pobierania zdjęć, zdjęć, obrazów, JPG, GIF z internetu lub Internetu. Może uzyskać dostęp do ulubionych stron internetowych z maksymalnie 8 wątków jednocześnie. Analizuje s

  • A shoot'em up game for the Maemo Wolna

    Izometryczna gra shoot'em up dla platformy Maemo. Podstawową ideą jest wygenerowanie gry, w której gracz (lub gracze) mogą generować własne postacie i batle przeciwko sobie lub sterowanych komputerowo wrogów.

  • SudokuGenerator in c++ and stl Wolna

    Generator puzzli Sudoku, który generuje zagadki Sudoku z danym poziomem trudności. Generowana zagadka ma unikalne rozwiązanie i może zostać rozwiązana bez cofania się lub zgadywania. Oprogramowanie jest napisane w c++ za pomo

  • Oxygen Basic Wolna

    Kompaktowy kompilator JIT z funkcją osadzania, który odczytuje nagłówki C i kompiluje do kodu maszynowego x86. Wykonuje bezpośrednio w pamięci lub tworzy biblioteki DLL i pliki EXE. Obsługuje przeciążenie i OOP. Obecnie dostę

  • Lua Conio Wolna

    Lua Conio jest otoką turbo C conio, używane do tworzenia interfejsów użytkownika tekstu opracowanych przez Gabriele Secci.

  • Book Keeper System Wolna

    Prosty system zarządzania biblioteką napisany w języku Java za pomocą Struts + JSTL i JDBC. Używana jest klasyczna architektura warstwowa. Obecnie DAO działają po wyjęciu z pudełka z mySql.

  • Counter Strike 1.6 File Wolna

    tlchargez des fichiers en rapport avec le serveur [TFS21] Firefox Server

  • Multimodal Engine Platform Wolna

    System MME jest przedstawiony jako potrzeba komunikowania się między urządzeniami heterogenizacyjnymi i nawiązywania komunikacji między użytkownikiem a aplikacją przy użyciu różnych rodzajów metod.