Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen
Herunterladen

MCMAS-C ist eine Erweiterung des berühmtesten Modellprüfers MCMAS, der zur Überprüfung des Multi-Agent-Systems implementiert ist. Unsere Erweiterung bezieht sich darauf, soziale Verpflichtungen zu überprüfen, die Agenten erstellen können, und ihre Erfüllung. Es ist Modell-Checker für CTLC-Logik.

VERSIONSVERLAUF

  • Version files veröffentlicht auf 2011-01-25
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2011-01-25

Programmdetails

Verwandte Programme

  • MConvert - Multiformat Converter kostenlos

    MConvert ist ein Open-Source-Projekt, das ein Tool zum Konvertieren von Dateien entwickeln soll. Mit anderen Open-Source-Tools möchte MConvert eine Vielzahl von Möglichkeiten zum Transformieren von Dateiformaten bereitstellen

  • WinCRC32 kostenlos

    WINCRC32 verwendet CRC-32-Technologie, um jede Datei zu überprüfen und benachrichtigt Sie über potenziell fehlerhafte, beschädigte, falsche Größe oder fehlende Dateien, um Ihnen Stunden des Herunterladens zu sparen, nur um fe

  • Web Pictures Downloader Kostenlose Testversion

    Web Pictures Downloader ist ein Internet-Bild-Downloader, um Bilder, Fotos, Bilder, JPG, GIF aus dem Web oder Internet herunterzuladen. Es kann auf Ihre Lieblings-Websites mit maximal 8 Threads gleichzeitig zugreifen. Es anal

  • A shoot'em up game for the Maemo kostenlos

    Ein isometrisches Shoot'em-Up-Spiel für die Maemo-Plattform. Die Grundidee ist es, ein Spiel zu generieren, in dem Spieler (oder Spieler) ihre eigenen Charaktere generieren und gegeneinander oder computergesteuerte Feinde käm

  • SudokuGenerator in c++ and stl kostenlos

    Sudoku-Puzzle-Generator, der Sudoku-Puzzles mit einem bestimmten Schwierigkeitsgrad generiert. Die generierten Rätsel haben eine einzigartige Lösung und können ohne Rückverfolgung oder Raten gelöst werden. Die Software wird i

  • Oxygen Basic kostenlos

    Kompakter einbettbarer JIT-Compiler, der C-Header liest und in x86-Maschinencode kompiliert. Führt direkt im Speicher aus oder erstellt DLLs und EXE-Dateien. Unterstützt Überladung und OOP. Derzeit verfügbar für MS-Plattforme

  • Lua Conio kostenlos

    Lua Conio ist wrapper für Turbo C conio, verwendet, um Text-Benutzeroberflächen von Gabriele Secci entwickelt zu erstellen.

  • Book Keeper System kostenlos

    Ein einfaches Bibliotheksverwaltungssystem, das in Java mit Struts + JSTL und JDBC geschrieben wurde. Es wird ein klassischer, mehrschichtiger Architekturansatz verwendet. Derzeit funktionieren die DAOs sofort mit mySql.

  • Counter Strike 1.6 File kostenlos

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

  • Multimodal Engine Platform kostenlos

    Das MME-System wird als Notwendigkeit dargestellt, zwischen heterogenen Geräten zu kommunizieren und die Kommunikation zwischen Benutzer und Anwendung mit unterschiedlichen Arten von Modalitäten herzustellen.