LTL3 tools 0.0.7

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

acerca de LTL3 tools

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.