Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. MCMAS-SC model checker
  5. Download

MCMAS-SC model checker

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

acerca de MCMAS-SC model checker

Un nuevo modelo de verificación, llamado MCMAS-SC, para verificar los compromisos sociales y su cumplimiento. Es una extensión del comprobador de modelos MCMAS para apoyar la verificación de la lógica CTLC.

Programas relacionados

  • CHLone Gratis

    El paquete CHLone es una aplicación de mapeo compatible con CGNS/SIDS de SIDS a HDF5 y contiene 3 niveles de interfaz para el desarrollo de aplicaciones. Estos son:- C1 el clon CGNS/MLL, la misma API que CGNS/MLL- A2 la A

  • FactotumNOW IAS Reporting Prueba gratuita

    FactotumNOW IAS Reporting importa archivos de registro IAS/RRAS (Microsoft VPN) a través de un motor que se puede instalar en el servidor VPN/IAS. Las estadísticas de IAS (Microsoft® Internet Authentication Service) se actual

  • Flash-Creator Prueba gratuita

    Flash Creator es una herramienta rápida y refrescantemente fácil de usar para crear logotipos flash animados, banners, introducciones, encabezados y cualquier otra cosa que puedas imaginar desde el momento. Le proporciona un

  • SAW (Small Artificial World) Gratis

    SAW (Pequeño Mundo Artificial) es una simulación de la evolución natural. El mundo está poblado por numerosos seres artificiales que pueden interactuar entre sí para una batalla de supervivencia. Se utilizan algoritmos genéti

  • evids video intrusion detection system Gratis

    Evids es un sistema cliente/servidor de detección de intrusiones de vídeo. El el software de vigilancia proporciona monitoreo a tiempo completo de Señales. Además, Evids es un proyecto gratuito de código abierto que se ej

  • Accessibility plugins for Liferay Gratis

    El propósito de este projet es proporcionar un conjunto de extensiones (plugins) para mejorar la experiencia de accesibilidad en el portal Liferay.

  • SynchroJet Prueba gratuita

    SynchroJet es una utilidad de copia de seguridad y sincronización fácil de usar, que puede trabajar con fuentes locales, LAN, FTP/SSL. Con SynchroJet puede mantener fácilmente todos los archivos importantes sincronizados entr

  • ControlK Gratis

    Este es un plugin muy simple para JEdit. Añade la función Eclipse control-K, es decir: busca la siguiente aparición del texto seleccionado.

  • emulare Gratis

    Emulare es un emulador de arduino.Le permite ejecutar programas arduino en emulación. Tiene soporte completo para todos los dispositivos en el Arduino Duemilanove. Tiene una interfaz GDB para la depuración. Cuenta con una

  • Music Shuffling Gratis

    Una aplicación .net 3.5 que permite al usuario mezclar su música en el iPod u otro dispositivo. funciones completas con archivos aleatorios selectos y también barajar por archivos.