MCTK: a symbolic model checker for MAS

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.