MCMAS-SC model checker

Programas Relacionados

• CHLone Grátis

  O pacote CHLone é uma aplicação de mapeamento compatível com CGNS/SIDS de SIDS-to-HDF5 e contém 3 níveis de interface para desenvolvimento de aplicações. Estes são:- C1 o CGNS/MLL Clone, a mesma API que a CGNS/MLL- A2 a A

• FactotumNOW IAS Reporting Julgamento Gratuito

  FactotumNOW IAS Reporting importa ficheiros de registo IAS/RRAS (Microsoft VPN) através de um motor que pode ser instalado no servidor VPN/IAS. As estatísticas do IAS (Microsoft® Internet Authentication Service) são atualizad

• Flash-Creator Julgamento Gratuito

  Flash Creator é uma ferramenta rápida e refrescantemente fácil de usar para criar logotipos flash animados, banners, introduções, cabeçalhos e qualquer outra coisa que possa imaginar fora da caixa. Proporciona-lhe um ambiente

• SAW (Small Artificial World) Grátis

  SAW (Pequeno Mundo Artificial) é uma simulação da evolução natural. O mundo é povoado por numerosos seres artificiais que podem interagir uns com os outros para uma batalha de sobrevivência. Algoritmo genético e rede neural s

• evids video intrusion detection system Grátis

  Evids é um sistema de deteção de intrusões de vídeo/servidor. O automatizado software de vigilância fornece monitorização a tempo inteiro de vídeo de entrada sinais. Além disso, evids é um projeto free opensource em execu

• Accessibility plugins for Liferay Grátis

  O objetivo deste projeto é fornecer um conjunto de extensões (plugins) para melhorar a experiência de acessibilidade no portal Liferay.

• SynchroJet Julgamento Gratuito

  A SynchroJet é um utilitário de backup e sincronização de fácil utilização, que pode funcionar com fontes locais, LAN, FTP/SSL. Com o SynchroJet pode facilmente manter todos os ficheiros importantes sincronizados entre servid

• ControlK Grátis

  Este é um plugin muito simples para jEdit. Adiciona a função Eclipse control-K, isto é: encontre a próxima ocorrência do texto selecionado.

• emulare Grátis

  Emulare é um emulador arduino.Permite-lhe executar programas arduino em emulação. Tem suporte total para todos os dispositivos do Arduino Duemilanove. Tem uma interface GDB para depurar. Tem uma interface gráfica completa

• Music Shuffling Grátis

  Uma aplicação .net 3.5 que permite ao utilizador baralhar a sua música em ipod ou outro dispositivo. funcionalidades completas com ficheiros aleatórios selecionados e também baralhadas por ficheiros.