Invia software
  1. Casa
  2. Windows
  3. Altro
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

Un nuovo controllo del modello, chiamato MCMAS-SC, per verificare gli impegni sociali e il loro adempimento. È un'estensivizzazione del controllo del modello MCMAS per supportare la verifica della logica CTLC.

cronologia delle versioni

  • Versione MCMAS-SC pubblicato il 2011-01-25
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-01-25

Dettagli del programma

Programmi correlati

  • CHLone Gratuito

    Il bundle CHLone è un'applicazione di mappatura conforme a CGNS/SIDS di SIDS-to-HDF5 e contiene 3 livelli di interfaccia per lo sviluppo di applicazioni. Si tratta di:- C1 il clone CGNS/MLL, stessa API di CGNS/MLL- A2 l'A

  • FactotumNOW IAS Reporting Prova gratuita

    FactotumNOW IAS Reporting importa i file di registro IAS/RRAS (Microsoft VPN) tramite un motore che può essere installato nel server VPN/IAS. Le statistiche IAS (Microsoft® Internet Authentication Service) vengono quindi aggi

  • Flash-Creator Prova gratuita

    Flash Creator è uno strumento rapido e piacevolmente facile da usare per creare loghi Flash animati, banner, introduzioni, intestazioni e qualsiasi altra cosa tu possa immaginare subito. Ti fornisce un ambiente di progettazio

  • SAW (Small Artificial World) Gratuito

    SAW (Small Artificial World) è una simulazione dell'evoluzione naturale. Il mondo è popolato da numerosi esseri artificiali che possono interagire tra loro per una battaglia di sopravvivenza. Vengono utilizzati algoritmi gene

  • evids video intrusion detection system Gratuito

    Evids è un sistema client/server di rilevamento delle intrusioni video. L'automatizzato software di sorveglianza fornisce il monitoraggio a tempo pieno dei video in arrivo Segnali. Inoltre, Evids è un progetto opensource

  • Accessibility plugins for Liferay Gratuito

    Lo scopo di questo progetto è quello di fornire una serie di estensioni (plugin) per migliorare l'esperienza di accessibilità sul portale Liferay.

  • SynchroJet Prova gratuita

    SynchroJet è un'utilità di backup e sincronizzazione facile da usare, che può funzionare con origini locali, LAN, FTP / SSL. Con SynchroJet puoi facilmente mantenere sincronizzati tutti i file importanti tra server, desktop,

  • ControlK Gratuito

    Questo è un plug-in molto semplice per JEdit. Aggiunge la funzione Eclipse control-K, o cioè: trova la prossima occorrenza del testo selezionato.

  • emulare Gratuito

    Emulare è un emulatore arduino.Ti consente di eseguire programmi arduino in emulazione. Ha pieno supporto per tutti i dispositivi sull'Arduino Duemilanove. Ha un'interfaccia GDB per il debug. Ha un'interfaccia grafica comp

  • Music Shuffling Gratuito

    Un'applicazione .net 3.5 che consente all'utente di mescolare la propria musica in ipod o in un altro dispositivo. completare le funzionalità con file casuali selezionati e anche mescolare da per file.