Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. MCTK: a symbolic model checker for MAS
  5. Download

MCTK: a symbolic model checker for MAS

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur MCTK: a symbolic model checker for MAS

MCTK (Model Checking Time and Knowledge) est un modèle symbolique de contrôle des systèmes multi-agents, qui prend en charge la vérification de la logique temporelle de la connaissance. Il est développé à partir de NuSMV 2.1.2 par Xiangyu Luo.

Programmes connexes

  • MedIC Automated Pipeline Scheduler Gratuit

    Une extension du cadre plug-in MIPAV (Medical Image Processing, Analysis, and Visualization) qui permet à l’utilisateur de concevoir et d’exécuter des pipelines, qui sont des tâches de traitement en plusieurs étapes.

  • SmartHASH Gratuit

    SmartHASH est un outil de criminalistique informatique conçu pour enlever le travail de grognement du processus d’analyse; ce qui permet de gagner beaucoup de temps dans l’aspect analyse de la plupart des enquêtes.

  • Entropy Gratuit

    CE PROJET N’EST PLUS HÉBERGÉ OU MIS À JOUR SUR SOURCEFORGE

  • Flash Authoring iPhone Components Gratuit

    Composants d’auteur flash pour aider au développement de l’iPhone. Vous pouvez m’envoyer un [email protected] avec votre identifiant Source Forge est que vous souhaitez rejoindre le projet.

  • Asp.net Web Utilities Framework Gratuit

    Asp.net cadre des services publics web pour m’aider (et d’autres) dans mes projets futurs Le cadre fournira simplement des classes simples et des contrôles de l’utilisateur, etc pour les fonctions communes - Boxed et prêt à

  • DARKSTARgames Open Source Project Gratuit

    DARKSTARgames est un projet de développement de jeux amateur. Notre moteur 3D EVEN sera publié en open source avec la sortie du jeu prévue pour 2007. Cependant, nous avons déjà des logiciels, qui peuvent être intéressants pou

  • Workgroup Manager Gratuit

    Workgroup Manager (WGM) est un outil de gestion de groupe de travail Windows permettant la gestion utilisateur/groupe distant et l’optimisation des groupes de travail. Les utilisateurs et les groupes peuvent être ajoutés/modi

  • ascentemu Gratuit

    Ascent était un logiciel serveur basé sur C++ pour World of Warcraft.Ce référentiel est une sauvegarde du projet aujourd’hui disparu.Il a été remplacé par Arcemu.

  • Command-Line Argument Parser For Java Gratuit

    Il s’agit d’une bibliothèque pour facilement parsing arguments de ligne de commande en Java d’une manière orientée objet au moyen d’auditeurs et d’événements.

  • L2IrcBot Gratuit

    L2IrcBot est une implémentation de l’API PircBot pour vérifier l’état en ligne/hors ligne de Lineage 2-Servers, défini par un ou plusieurs fichiers config.