Inicio   >   Demostradores   >   NARVAL

narval

Demostrador|vrain

Descripción
Herramienta online para explorar árboles de computación y computación simbólica para programas escritos en Maude.
Miembro
dirección
Camino de Vera S/N
Provincia
Valencia

INFORMACIÓN DEL DEMOSTRADOR

DESCRIPCIÓN

Narval (Narrowing variant-based tool) es un sistema visual para la exploración de computaciones simbólicas de Maude que soporta tanto la exploración del espacio de búsqueda como el análisis interactivo de alcanzabilidad para programas Maude, ayudando así al diagnóstico, depuración y corrección de dichos programas.

POSIBILIDADES

Ver en el apartado del resumen

HABILITADOR TECNOLOGICO

Inteligencia Artificial y Computación
Data security and privacy technologies

Program verification, safety analysis, provable security. Protocol crypto-analysis. Automated analysis, modeling, verification, synthesis, learning, debugging and optimization of complex systems and models