Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. LTL3 tools

LTL3 tools 0.0.7

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

Colección de herramientas que se pueden utilizar para generar monitores ("watchdogs") a partir de fórmulas LTL. Esto se conoce desde el área de verificación en tiempo de ejecución. Para obtener más información, consulte la página principal del proyecto asociado.

historial de versiones

  • Versión 0.0.7 publicado en 2009-04-01
    Varias correcciones y actualizaciones
  • Versión 0.0.7 publicado en 2009-04-01

Detalles del programa

Programas relacionados

  • Neve Gratis

    NEtwork Visualisation Environment es un marco para la visualización 3D e interacción con las redes, especialmente las redes de comunicación como Internet tanto en tiempo real como como herramienta de simulación. Basado en JMX

  • Wikidsmart Gratis

    Wikidsmart de zAgile convierte Confluence en un wiki semántico y repositorio de conocimiento. Construido sobre zCALM, la infraestructura web semántica para la interoperabilidad de aplicaciones, se convierte en un panel de inf

  • sdf2xyz2sdf Gratis

    Un software de código abierto para convertir archivos SDF en archivos TINKER XYZ (y viceversa) con asignación automática de tipos de átomos MMFF94, tipos de bonos y cargas

  • Alcoholics Anonymous 12 Steps Prueba gratuita

    Ayuda en la recuperación de adicciones y proporciona una referencia útil para cualquier miembro de AA.Libro Grande, Calculadora de Sobriedad, 12 Pasos y Tradiciones, Encontrar Reuniones AA, Oraciones.Las característica

  • Drum Count Gratis

    Drum Count es una sencilla herramienta que analiza el sonido en tiempo real para medir el número de golpes reproducidos en una batería.

  • FBReader LitRes plugin Prueba gratuita

    Características adicionales para la integración de litres.ru FBReader.Acceso a la tienda de litros de un solo clic.Registra nuevos usuarios directamente desde FBReader, recarga tu cuenta a través de mensajes de texto y

  • quickdoc Gratis

    QuickDoc es un analizador de documentos java que lee documentos de archivos de texto sin formato utilizando un lenguaje simple y exporta el documento a otros formatos como PDF, HTML, Ayuda Java y XML.

  • The Earth Science Markup Language Gratis

    ESML es una tecnología de intercambio que utiliza metadatos externos para permitir que las aplicaciones se conecten y jueguen sin problemas con conjuntos de datos específicos de Earth Science en formatos heterogéneos.

  • RoboCup GameController Gratis

    RoboCup GameController es un software de código abierto utilizado en la Liga Humanoide RoboCup y la Standard Platform League. Los comandos de los árbitros se envían a los robots en el campo de juego a través de la red inalámb

  • PMath Gratis

    PMath es un editor WYSIWYG basado en Palm de textos matemáticos con posibilidad de convertirlos a LaTeX.