Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

Un nouveau modèle de contrôle, appelé MCMAS-SC, pour vérifier les engagements sociaux et leur réalisation. Il s’agit d’une extenstion du contrôle du modèle MCMAS pour appuyer la vérification de la logique du CTLC.

historique de la version

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

Détails du programme

Programmes connexes

  • CHLone Gratuit

    Le pack CHLone est une application de cartographie conforme au CGNS/SIDS de SIDS-to-HDF5 et contient 3 niveaux d’interface pour le développement d’applications. Ce sont:- C1 le clone CGNS/MLL, même API que CGNS/MLL- A2 l’

  • FactotumNOW IAS Reporting Essai gratuit

    FactotumNOW IAS Reporting importe des fichiers journaux IAS/RRAS (Microsoft VPN) via un moteur qui peut être installé sur le serveur VPN/IAS. Les statistiques IAS (Microsoft® Service d’authentification Internet) sont ensuite

  • Flash-Creator Essai gratuit

    Flash Creator est un outil rapide et rafraîchissant facile à utiliser pour créer des logos Flash animés, bannières, intros, en-têtes et tout ce que vous pouvez imaginer dès la sortie de la boîte. Il vous fournit un environnem

  • SAW (Small Artificial World) Gratuit

    SAW (Small Artificial World) est une simulation de l’évolution naturelle. Le monde est peuplé de nombreux êtres artificiels qui peuvent interagir les uns avec les autres pour une bataille de survie. Algorithme génétique et ré

  • evids video intrusion detection system Gratuit

    Evids est un système de détection d’intrusion vidéo client/serveur. L’automatisé logiciel de surveillance fournit une surveillance à temps plein de la vidéo entrante Signaux. En outre, Evids est un projet opensource gratu

  • Accessibility plugins for Liferay Gratuit

    Le but de ce projet est de fournir un ensemble d’extensions (plugins) pour améliorer l’expérience d’accessibilité sur le portail Liferay.

  • SynchroJet Essai gratuit

    SynchroJet est un utilitaire de sauvegarde et de synchronisation facile à utiliser, qui peut fonctionner avec des sources locales, LAN, FTP/SSL. Avec SynchroJet, vous pouvez facilement synchroniser tous les fichiers important

  • ControlK Gratuit

    Il s’agit d’un plugin très simple pour JEdit. Il ajoute la fonction Eclipse control-K, c’est-à-dire : trouvez la prochaine occurrence du texte sélectionné.

  • emulare Gratuit

    Emulare est un émulateur arduino.Il vous permet d’exécuter des programmes arduino dans l’émulation. Il a un soutien complet pour tous les appareils sur l’Arduino Duemilanove. Il dispose d’une interface GDB pour le débogage

  • Music Shuffling Gratuit

    Une application .net 3.5 qui permet à l’utilisateur de mélanger sa musique dans un iPod ou un autre appareil. fonctionnalités complètes avec sélectionner des fichiers aléatoires et également mélanger par fichiers.