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

MCTK: a symbolic model checker for MAS

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

MCTK (Model Checking Time and Knowledge) es un comprobador de modelos simbólicos para sistemas multiagente, que admite la verificación de la lógica temporal del conocimiento. Está desarrollado sobre la base de NuSMV 2.1.2 por Xiangyu Luo.

historial de versiones

  • Versión N/A publicado en 2011-07-27
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-07-27

Detalles del programa

Programas relacionados

  • MedIC Automated Pipeline Scheduler Gratis

    Una extensión del marco de trabajo del complemento MIPAV (Medical Image Processing, Analysis, and Visualization) que permite al usuario diseñar y ejecutar canalizaciones, que son tareas de procesamiento de varias etapas.

  • SmartHASH Gratis

    SmartHASH es una herramienta forense diseñada para eliminar el trabajo gruñón del proceso de análisis; ahorrando así un tiempo considerable en el aspecto de análisis de la mayoría de las investigaciones.

  • Entropy Gratis

    ESTE PROYECTO YA NO ESTÁ ALOJADO O ACTUALIZADO EN SOURCEFORGE

  • Flash Authoring iPhone Components Gratis

    Componentes de creación de Flash para ayudar con el desarrollo de iPhone. Puede enviarme un correo electrónico a [email protected] con su ID de Source Forge es que desea unirse al proyecto.

  • Asp.net Web Utilities Framework Gratis

    Asp.net marco de utilidades web para ayudarme (y otros) en mis proyectos futuros El marco de trabajo simplemente proporcionará clases simples y controles de usuario, etc. para funciones comunes - en caja y listo para ser ex

  • DARKSTARgames Open Source Project Gratis

    DARKSTARgames es un proyecto de desarrollo de juegos aficionados. Nuestro motor 3D EVEN se publicará como Open Source junto con el lanzamiento del juego destinado a 2007. Sin embargo, ya tenemos ahora software, que puede ser

  • Workgroup Manager Gratis

    Workgroup Manager (WGM) es una herramienta de administración de grupos de trabajo de Windows que permite la administración remota de usuarios/grupos y la optimización de grupos de trabajo. Los usuarios y grupos se pueden agre

  • ascentemu Gratis

    Ascent fue un paquete de software de servidor basado en C++ para World of Warcraft.Este repositorio es una copia de seguridad del proyecto ya desaparecido.Fue reemplazado por Arcemu.

  • Command-Line Argument Parser For Java Gratis

    Esta es una biblioteca para analizar fácilmente argumentos de línea de comandos en Java de una manera orientada a objetos mediante escuchas y eventos.

  • L2IrcBot Gratis

    L2IrcBot es una implementación de la API de PircBot para comprobar el estado en línea/sin conexión de Lineage 2-Servers, definido por uno o más archivos de configuración.