Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

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

MCMAS-C é uma extensão ao mais famoso verificador de modelos MCMAS, que é implementado para verificar o sistema multi-agente. A nossa extensão está relacionada com a verificação dos compromissos sociais que os agentes podem criar e o seu cumprimento. É verificador de modelos para a lógica CTLC.

história da versão

  • Versão files 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

  • MConvert - Multiformat Converter Grátis

    MConvert é um projeto de código aberto que se destina a desenvolver uma ferramenta para converter ficheiros. Ao utilizar outras ferramentas de código aberto, a MConvert pretende fornecer uma vasta gama de possibilidades para

  • WinCRC32 Grátis

    O WINCRC32 utiliza a tecnologia CRC-32 para verificar cada ficheiro e notifica-o de quaisquer ficheiros potencialmente maus, corruptos, incorretos ou em falta para poupar horas de descarregamento apenas para descobrir que tem

  • Web Pictures Downloader Julgamento Gratuito

    Web Pictures Downloader é um descarregador de imagens na Internet para descarregar imagens, fotos, imagens, JPG, GIF a partir da web ou internet. Pode aceder aos seus sites favoritos com um máximo de 8 fios simultaneamente. A

  • A shoot'em up game for the Maemo Grátis

    Um jogo isométrico para a plataforma Maemo. A ideia básica é gerar um jogo onde o jogador (ou jogadores) pode gerar as suas próprias personagens e bater uns contra os outros ou inimigos controlados por computador.

  • SudokuGenerator in c++ and stl Grátis

    Gerador de puzzles sudoku que gera puzzles Sudoku com um dado nível de dificuldade. Os puzzles gerados têm uma solução única e podem ser resolvidos sem retrocesso ou adivinhação. O software está escrito em c++ utilizando stl

  • Oxygen Basic Grátis

    Compilador JIT incorporado compacto que lê cabeçalhos C e compila para código de máquina x86. Executa diretamente na memória ou cria ficheiros DLLs e EXE. Suporta sobrecarga e OOP. Atualmente disponível para plataformas ms. 6

  • Lua Conio Grátis

    Lua Conio é invólucro para o Turbo C conio, usado para criar interfaces de utilizador de texto desenvolvidas por Gabriele Secci.

  • Book Keeper System Grátis

    Um simples sistema de gestão de bibliotecas escrito em Java usando Struts + JSTL e JDBC. Uma abordagem clássica da arquitetura em camadas é usada. Atualmente os DAOs trabalham fora da caixa com o mySql.

  • Counter Strike 1.6 File Grátis

    tlchargez des fichiers en rapport avec le serveur [TFS21] The Firefox Server

  • Multimodal Engine Platform Grátis

    O sistema MME é apresentado como uma necessidade de comunicar entre dispositivos heterogéneos e estabelecer comunicação entre o utilizador e a aplicação utilizando diferentes tipos de modalidades.