Home   >   Demonstrators   >   MUTERM

MUTERM

Demonstrator|elp

Description
Termination verification tool
Member
Address
Department of Information Systems and Computing U. Polytechnic of Valencia Camino de Vera S/N 46.020 Valencia
Province
Valencia

DEMONSTRATOR INFORMATION

DESCRIPTION

Termination verification tool

POSSIBILITIES

-

TECHNOLOGICAL ENABLER

Ciber Security
Security & Privacy By Design tools

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