Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Extended NuSMV

Extended NuSMV 1.1

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

Une version extension de NuSMV, qui prend en charge la vérification symbolique des modèles ETL et APSL

historique de la version

  • Version enusmv%201.1 posté sur 2009-03-04
    Plusieurs correctifs et mises à jour
  • Version enusmv 1.1 posté sur 2009-03-04

Détails du programme

Programmes connexes

  • Voice Widget Gratuit

    Démarrez l’enregistreur vocal, Youtube, tv ou radio, explorer ou rechercher en un seul clic.2 beaux widgets pour lier votre enregistreur vocal de téléphone, Youtube, TV ou radio, explorateur ou recherche. Le style de concep

  • ZIPCodeWorld Store Locator .NET Component Essai gratuit

    ZIPCodeWorld Store Locator .NET est un contrôle de localisation de magasin pour tous les développeurs .NET. Votre propre service de localisation de magasins aux États-Unis ou au Canada peut être opérationnel en quelques minut

  • Mobile Data On/Off Toggle Gratuit

    Données mobiles on/off ToggleMobile Data On/Off Toggle switcherMobile Data On/Off Toggle switcherMobile Data OnOff Toggle switch.- Cette nécessité logicielle Enable "Mobile data" in System settings . Logiciel mobile

  • OCF Resource Agent for SAP Gratuit

    Fournit aux agents de ressources conformes à OCF (Open Cluster Framework) l’exécute dans un cluster de haute disponibilité Linux (comme le projet Linux-HA).

  • Wintermute Engine DevKit Gratuit

    Wintermute Engine Development Kit est un ensemble d’outils pour créer et exécuter des jeux d’aventure graphiques point&click, à la fois traditionnels 2D et modernes jeux 2.5D (caractères 3D sur fond 2D).

  • Aginity Netezza Workbench Gratuit

    Aginity est un partenaire de Netezza Solution Provider. Le Workbench est né de notre besoin d’outils spécifiques pour soutenir notre vaste expérience dans le développement de grands systèmes sur l’appareil Netezza. Workbench

  • xUnit - Unit Testing Framework Gratuit

    xUnit est un cadre de test unitaire de style XP. xUnit utilise un protocole entre une extrémité avant pour afficher les résultats des tests et un pilote de test lié aux applications - supprimant les dépendances de temps de li

  • perf2rrd Gratuit

    perf2rrd est un programme écrit en Java (tm) qui capture la sortie de données de performance par le système de surveillance Nagios (R) et le stocke dans des fichiers de base de données à la ronde comme implememented par RRDto

  • MisterHouse: Home Automation with Perl Gratuit

    MisterHouse est un programme de domotique Windows/Unix écrit en Perl. Il peut répondre aux commandes vocales, navigateurs Web, heure de la journée, port de série et données X10, fichiers externes, etc et peut parler via les m

  • IFM - Interface Management System Gratuit

    IFM (anciennement wxIFM) est une bibliothèque de gestion d’interface conçue pour ajouter des fenêtres dockables à vos applications donnant à votre interface la personnalisabilité exigée par les utilisateurs d’ordinateurs expé