Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

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

O MCTK (Model Checking Time and Knowledge) é um verificador de modelo simbólico para sistemas multi-agentes, que suporta a verificação da lógica temporal do conhecimento. É desenvolvido com base no NuSMV 2.1.2 por Xiangyu Luo.

história da versão

  • Versão N/A postado em 2011-07-27
    Várias correções e atualizações
  • Versão N/A postado em 2011-07-27

Detalhes do programa

Programas Relacionados

  • MedIC Automated Pipeline Scheduler Livre

    Uma extensão da estrutura plug-in MIPAV (Medical Image Processing, Analysis e Visualization) que permite ao usuário projetar e executar pipelines, que são tarefas de processamento em vários estágios.

  • SmartHASH Livre

    O SmartHASH é uma ferramenta forense de computador projetada para tirar o trabalho grunhido do processo de análise; assim, economizando tempo considerável no aspecto de análise da maioria das investigações.

  • Entropy Livre

    ESTE PROJETO NÃO ESTÁ MAIS HOSPEDADO OU ATUALIZADO NA FONTEFORGE

  • Flash Authoring iPhone Components Livre

    Componentes de autoria do Flash para ajudar no desenvolvimento do iPhone. Você pode me enviar um e-mail [email protected] com seu ID Source Forge é que você quer participar do projeto.

  • Asp.net Web Utilities Framework Livre

    Asp.net estrutura de utilitários web para me ajudar (e outros) em meus projetos futuros O Framework simplesmente fornecerá classes simples e controles de usuário etc. para funções comuns - Encaixotado e pronto para ser este

  • DARKSTARgames Open Source Project Livre

    DARKSTARgames é um projeto de desenvolvimento de jogos hobbyist. Nosso motor 3D EVEN será publicado como Open Source juntamente com o lançamento do jogo destinado a 2007. No entanto, já temos agora software, que pode ser inte

  • Workgroup Manager Livre

    Workgroup Manager (WGM) é uma ferramenta de gerenciamento de grupo de trabalho do Windows que permite a otimização remota do gerenciamento de usuários/grupo e do grupo de trabalho. Usuários e grupos podem ser adicionados/edit

  • ascentemu Livre

    A Ascent foi um pacote de software de servidor baseado em C++ para o World of Warcraft.Este repositório é um backup do projeto extinto.Foi substituído por Arcemu.

  • Command-Line Argument Parser For Java Livre

    Esta é uma biblioteca para analisar facilmente os argumentos da linha de comando em Java de uma maneira orientada a objetos por meio de Ouvintes e Eventos.

  • L2IrcBot Livre

    L2IrcBot é uma implementação da API PircBot para verificar o status on/offline do Lineage 2-Servers, definido por um ou mais arquivos de config.