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

MCMAS-C Model Checker

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

MCMAS-C es una extensión del comprobador de modelos MÁS famoso MCMAS, que se implementa para verificar el sistema multiagente. Nuestra extensión está relacionada con el chequeo de los compromisos sociales que los agentes pueden crear y su cumplimiento. Es comprobador de modelos para la lógica CTLC.

historial de versiones

  • Versión files publicado en 2011-01-25
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-01-25

Detalles del programa

Programas relacionados

  • MConvert - Multiformat Converter Gratis

    MConvert es un proyecto de código abierto que está destinado a desarrollar una herramienta para convertir archivos. Mediante el uso de otras herramientas de código abierto, MConvert desea proporcionar una amplia gama de posib

  • WinCRC32 Gratis

    WINCRC32 utiliza la tecnología CRC-32 para comprobar cada archivo y le notifica de cualquier potencialmente malo, corrupto, tamaño incorrecto o archivos que faltan para ahorrarle horas de descarga sólo para encontrar que tien

  • Web Pictures Downloader Prueba gratuita

    Web Pictures Downloader es un descargador de imágenes de Internet para descargar imágenes, fotos, imágenes, JPG, GIF desde la web o Internet. Puede acceder a sus sitios web favoritos con un máximo de 8 hilos simultáneamente.

  • A shoot'em up game for the Maemo Gratis

    Un juego isométrico shoot'em up para la plataforma Maemo. La idea básica es generar un juego donde los jugadores (o jugadores) pueden generar sus propios personajes y batear entre sí o enemigos controlados por computadora.

  • SudokuGenerator in c++ and stl Gratis

    Generador de rompecabezas Sudoku que genera rompecabezas Sudoku con un determinado nivel de dificultad. Los puzzles generados tienen una solución única y se pueden resolver sin retroceder ni adivinar. El software está escrito

  • Oxygen Basic Gratis

    Compilador JIT compacto incrustable que lee encabezados C y compila en código de máquina x86. Se ejecuta directamente en la memoria o crea archivos DLL y EXE. Admite sobrecarga y OOP. Actualmente disponible para plataformas M

  • Lua Conio Gratis

    Lua Conio es un contenedor para Turbo C conio, utilizado para crear interfaces de usuario de texto desarrolladas por Gabriele Secci.

  • Book Keeper System Gratis

    Un sencillo sistema de gestión de bibliotecas escrito en Java con Struts + JSTL y JDBC. Se utiliza un enfoque de arquitectura en capas clásico. Actualmente los DAO funcionan de fábrica con mySql.

  • Counter Strike 1.6 File Gratis

    tlchargez des fichiers en rapport avec le serveur [TFS21] El servidor Firefox

  • Multimodal Engine Platform Gratis

    El sistema MME se presenta como una necesidad de comunicarse entre dispositivos heterogéneos y establecer comunicación entre el usuario y la aplicación utilizando diferentes tipos de modalidades.