Home   >   Demonstrators   >   KINDSPEC

KINDSPEC

Demonstrator|elp

Description
Symbolic Contract Synthesizer.
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

Symbolic Contract Synthesizer.

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