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

MCMAS-SC model checker

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

Um novo verificador de modelos, chamado MCMAS-SC, para verificar os compromissos sociais e o seu cumprimento. É uma extensão do verificador de modelos MCMAS para apoiar 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 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.