NuSMV

NuSMV

Type de licence:Gratuit

Nombre de téléchargements:66

Latest version:2.6

Info mise à jour:

Capture d'écran

Screenshot

Description

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.

Commentaires

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote: