MCMAS-SC model checker

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.