Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

MCMAS-C est une extension du modèle le plus célèbre checker MCMAS, qui est mis en œuvre pour vérifier le système multi-agents. Notre extension est liée à la vérification des engagements sociaux que les agents peuvent créer et à leur réalisation. C’est le checker de modèle pour la logique de CTLC.

historique de la version

  • Version files posté sur 2011-01-25
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-01-25

Détails du programme

Programmes connexes

  • MConvert - Multiformat Converter Gratuit

    MConvert est un projet ouvert qui vise à développer un outil de conversion de fichiers. En utilisant d’autres outils open-source, MConvert veut fournir un large éventail de possibilites pour transformer les formulaires de fic

  • WinCRC32 Gratuit

    WINCRC32 utilise la technologie CRC-32 pour vérifier chaque fichier et vous informe de tout fichier potentiellement mauvais, corrompu, de taille incorrecte ou manquant pour vous faire économiser des heures de téléchargement u

  • Web Pictures Downloader Essai gratuit

    Web Pictures Downloader est un téléchargeur d’images internet pour télécharger des photos, des photos, des images, JPG, GIF à partir du Web ou d’Internet. Il peut accéder à vos sites Web préférés avec un maximum de 8 threads

  • A shoot'em up game for the Maemo Gratuit

    Un jeu isométrique shoot’em up pour la plate-forme Maemo. L’idée de base est de générer un jeu où le joueur (ou les joueurs) peuvent générer leurs propres personnages et batle les uns contre les autres ou des ennemis contrôlé

  • SudokuGenerator in c++ and stl Gratuit

    Générateur de puzzle Sudoku qui génère des puzzles Sudoku avec un niveau donné de difficulté. Les puzzles générés ont une solution unique et peuvent être résolus sans faire marche arrière ou deviner. Le logiciel est écrit en

  • Oxygen Basic Gratuit

    Compilateur JIT compact embeddable qui lit les en-têtes C et compile au code machine x86. S’exécute directement en mémoire ou crée des fichiers DLL et EXE. Prend en charge la surcharge et oop. Actuellement disponible pour les

  • Lua Conio Gratuit

    Lua Conio est l’emballage de Turbo C conio, utilisé pour créer des interfaces utilisateur de texte développées par Gabriele Secci.

  • Book Keeper System Gratuit

    Un système de gestion de bibliothèque simple écrit en Java en utilisant Struts + JSTL et JDBC. Une approche d’architecture en couches classiques est utilisée. Actuellement, les DMO travaillent à partir de la boîte avec mySq

  • Counter Strike 1.6 File Gratuit

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

  • Multimodal Engine Platform Gratuit

    Le système MME est présenté comme un besoin de communiquer entre les appareils hétérogènes et d’établir la communication entre l’utilisateur et l’application en utilisant différents types de modalités.