Inicio > Demostradores > ATAME

ATAME

Demostrador|elp

Descripción
Automated Safety Enforcement via Specialization.
Miembro
dirección
Departamento de Sistemas Informáticos y Computación U. Politécnica de Valencia Camino de Vera S/N 46.020 Valencia
Provincia
Valencia

INFORMACIÓN DEL DEMOSTRADOR

DESCRIPCIÓN

Automated Safety Enforcement via Specialization.

POSIBILIDADES

-

HABILITADOR TECNOLOGICO

Ciber Seguridad
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

El desarrollo de la web de TECH4CV ha sido posible gracias a la financiación de la Agencia Valenciana de la Innovación (AVI), a través de las actuaciones INNCON00/2018/003, INNCON00/19/003, INNCON-2020-3.