Home   >   Demonstrators   >   NARVAL

narval

Demonstrator|vrain

Description
Online tool to explore computation trees and symbolic computation for programs written in Maude.
Member
Address
Camino de Vera S/N
Province
Valencia

DEMONSTRATOR INFORMATION

DESCRIPTION

Narval (Narrowing variant-based tool) is a visual system for the exploration of symbolic Maude computations that supports both search space exploration and interactive reachability analysis for Maude programs, thus aiding in the diagnosis, debugging, and correction of such programs.

POSSIBILITIES

See in the summary section

TECHNOLOGICAL ENABLER

Artificial Intelligence and Computing
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