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

MCTK: a symbolic model checker for MAS

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

Sobre MCTK: a symbolic model checker for MAS

MCTK (Model Checking Time and Knowledge) é um verificador de modelos 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.

Programas Relacionados

  • MedIC Automated Pipeline Scheduler Grátis

    Uma extensão ao quadro plug-in MIPAV (Medical Image Processing, Analysis e Visualization) que permite ao utilizador conceber e executar pipelines, que são tarefas de processamento em várias fases.

  • SmartHASH Grátis

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

  • Entropy Grátis

    ESTE PROJETO JÁ NÃO É HOSPEDADO OU ATUALIZADO NA SOURCEFORGE

  • Flash Authoring iPhone Components Grátis

    Componentes de autoria flash para ajudar no desenvolvimento do iPhone. Pode enviar-me um e-mail [email protected] com o seu ID Source Forge é que quer aderir ao projeto.

  • Asp.net Web Utilities Framework Grátis

    Asp.net quadro de utilitários web para me ajudar (e outros) nos meus projetos futuros O Quadro irá simplesmente fornecer classes simples e controlos de utilizador, etc. para funções comuns - Encaixotado e pronto a ser prolo

  • DARKSTARgames Open Source Project Grátis

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

  • Workgroup Manager Grátis

    Workgroup Manager (WGM) é uma ferramenta de gestão do grupo de trabalho do Windows que permite a gestão remota do utilizador/grupo e a otimização do grupo de trabalho. Os utilizadores e grupos podem ser adicionados/editados/e

  • ascentemu Grátis

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

  • Command-Line Argument Parser For Java Grátis

    Esta é uma biblioteca para facilmente analisar os argumentos da linha de comando em Java de uma forma orientada para objetos através de ouvintes e eventos.

  • L2IrcBot Grátis

    L2IrcBot é uma implementação da API PircBot para verificar o estado on-/offline de Lineage 2-Servers, definida por um ou mais ficheiros config.