Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Extended NuSMV

Extended NuSMV 1.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.5/5 - ‎8 ‎Voti
Scaricare

Una versione extend di NuSMV, che supporta il controllo simbolico del modello di ETL e APSL

cronologia delle versioni

  • Versione enusmv%201.1 pubblicato il 2009-03-04
    Diverse correzioni e aggiornamenti
  • Versione enusmv 1.1 pubblicato il 2009-03-04

Dettagli del programma

Programmi correlati

  • Voice Widget Gratuito

    Avvia registratore vocale, Youtube, TV o radio, Esploratore o Cerca con un clic.2 bellissimi widget per collegare il registratore vocale del telefono, Youtube, TV o radio, esploratore o ricerca. Lo stile di design è come l'

  • ZIPCodeWorld Store Locator .NET Component Prova gratuita

    ZIPCodeWorld Store Locator .NET è un controllo localizzatore di archivi per tutti gli sviluppatori .NET. Il tuo servizio di localizzatore di negozi negli Stati Uniti o in Canada può essere operativo in pochi minuti. ZipCodeWo

  • Mobile Data On/Off Toggle Gratuito

    Mobile Data On/Off ToggleMobile Data On/Off Interruttore Interruttore Attiva/Disattiva Dati mobili Attiva/Disattiva Interruttore Mobile Data OnOff.- Questa necessità software Abilita "Dati mobili" nelle impostazioni

  • OCF Resource Agent for SAP Gratuito

    Fornisce agenti di risorse compatibili con OCF (Open Cluster Framework), per eseguire software SAP in un cluster Linux ad alta disponibilità (come il progetto Linux-HA).

  • Wintermute Engine DevKit Gratuito

    Wintermute Engine Development Kit è una serie di strumenti per la creazione e l'esecuzione di giochi di avventura grafici point&click, sia tradizionali 2D che moderni giochi 2.5D (personaggi 3D su sfondi 2D).

  • Aginity Netezza Workbench Gratuito

    Aginity è partner netezza solution provider. Il Workbench nasce dalla nostra esigenza di strumenti specifici a supporto della nostra vasta esperienza nello sviluppo di grandi sistemi sull'apparecchio Netezza. Workbench offre

  • xUnit - Unit Testing Framework Gratuito

    xUnit è un framework di unit test in stile XP. xUnit utilizza un protocollo tra un front-end per visualizzare i risultati dei test e un driver di test collegato alle applicazioni, rimuovendo le dipendenze del tempo di collega

  • perf2rrd Gratuito

    perf2rrd è un programma scritto in Java (tm) che acquisisce i dati sulle prestazioni output dal sistema di monitoraggio Nagios (R) e li memorizza nei file di database round robin come implememented da RRDtool.

  • MisterHouse: Home Automation with Perl Gratuito

    MisterHouse è un programma domotico Windows/Unix scritto in Perl. Può rispondere a comandi vocali, browser web, ora del giorno, porta seriale e dati X10, file esterni, ecc. e può parlare tramite motori text to speech.

  • IFM - Interface Management System Gratuito

    IFM (precedentemente wxIFM) è una libreria di gestione delle interfaccia progettata per aggiungere finestre ancorabili alle applicazioni, offrendo all'interfaccia la personalizzazione richiesta dagli utenti di computer espert