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

MCMAS-C Model Checker

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

O MCMAS-C é uma extensão do mais famoso verificador de modelos MCMAS, que é implementado para verificar o sistema multi-agente. Nossa extensão está relacionada à verificação de compromissos sociais que os agentes podem criar e seu cumprimento. É verificador de modelo para 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 Livre

    MConvert é um projeto de código aberto que pretende desenvolver uma ferramenta para converter arquivos. Ao usar outras ferramentas de código aberto, o MConvert quer fornecer uma ampla gama de possibilidades para transformar f

  • WinCRC32 Livre

    O WINCRC32 usa a tecnologia CRC-32 para verificar cada arquivo e notifica-o de qualquer arquivo potencialmente ruim, corrompido, incorreto ou ausente para economizar horas de download apenas para descobrir que você tem 1 arqu

  • Web Pictures Downloader Avaliação gratuita

    Web Pictures Downloader é um downloader de imagens na internet para baixar fotos, fotos, imagens, JPG, GIF da web ou internet. Ele pode acessar seus sites favoritos com um máximo de 8 threads simultaneamente. Ele analisa a es

  • A shoot'em up game for the Maemo Livre

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

  • SudokuGenerator in c++ and stl Livre

    Gerador de quebra-cabeças Sudoku que gera quebra-cabeças Sudoku com um determinado nível de dificuldade. Os quebra-cabeças gerados têm uma solução única e podem ser resolvidos sem retroceder ou adivinhar. O software é escrito

  • Oxygen Basic Livre

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

  • Lua Conio Livre

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

  • Book Keeper System Livre

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

  • Counter Strike 1.6 File Livre

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

  • Multimodal Engine Platform Livre

    O sistema MME é apresentado como uma necessidade de comunicação entre dispositivos heterogêneos e estabelecer comunicação entre usuário e aplicativo utilizando diferentes tipos de modalidades.