MCMAS-SC model checker

Programas Relacionados

• CHLone Livre

  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 aplicativos. São elas:- C1 o Clone CGNS/MLL, mesma API que CGNS/MLL- A2 a API d

• FactotumNOW IAS Reporting Avaliação gratuita

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

• Flash-Creator Avaliação gratuita

  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 você possa imaginar logo de saída da caixa. Ele fornece u

• SAW (Small Artificial World) Livre

  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 Livre

  Evids é um sistema de detecção de intrusão de vídeo cliente/servidor. O automatizado software de vigilância fornece monitoramento em tempo integral de vídeo de entrada Sinais. Além disso, evids é um projeto gratuito de op

• Accessibility plugins for Liferay Livre

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

• SynchroJet Avaliação gratuita

  SynchroJet é um utilitário de backup e sincronização fácil de usar, que pode funcionar com fontes locais, LAN, FTP/SSL. Com o SynchroJet você pode facilmente manter todos os arquivos importantes sincronizados entre servidores

• ControlK Livre

  Este é um plugin muito simples para JEdit. Ele adiciona o recurso eclipse controle-K, ou seja: encontre a próxima ocorrência do texto selecionado.

• emulare Livre

  Emulare é um emulador arduino.Ele permite que você execute programas arduino em emulação. Ele tem suporte total para todos os dispositivos no Arduino Duemilanove. Ele tem uma interface GDB para depuração. Possui uma interf

• Music Shuffling Livre

  Um aplicativo .net 3.5 que permite ao usuário embaralhar sua música em ipod ou outro dispositivo. recursos completos com arquivos aleatórios selecionados e também embaralhar por arquivo.