NuSMV
par Andrew Heard
Type de licence:
Gratuit
Nombre de téléchargements:66
Latest version:2.6
Télécharger
4.6 MB
Obtenez gratuitement NuSMV 2.6.0 dans notre logithèque. Andrew Heard est l'auteur de cette application gratuit. Ce téléchargement a été scanné par notre antivirus intégré, qui l'a certifié totalement propre. Le packet d'installation le plus récent disponible pèse 4.6 MB. Ce programme appartient à la sous-catégorie Webmaster Tools de Outils de développement.
Du développeur:
NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs.
Que diriez-vous d'essayer aussi des logiciels en rapport avec NuSMV ? Nous vous proposons SeqMan, Wizard Pro ou Insights.
Signaler des informations incorrectes
utile
utile
utile
Comment protéger votre Mac contre les logiciels malveillants
Comment partager des fichiers
Comment taper avec 10 doigts
Info mise à jour:
Dernières mises à jour
Découvrez FDM
Le support des extensions
Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.
Commentaires
Merci d'ajouter un commentaire expliquant les raisons de votre vote.