Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. MCMAS-SC model checker

MCMAS-SC model checker

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

Um novo verificador de modelos, chamado MCMAS-SC, para verificar compromissos sociais e sua realização. É uma extensão do verificador de modelo MCMAS para suportar a verificação da lógica CTLC.

história da versão

  • Versão MCMAS-SC postado em 2011-01-25
    Várias correções e atualizações
  • Versão N/A postado em 2011-01-25

Detalhes do programa

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.