RYC2020-028954-I
Financiado
Formal verification of security and privacy properties of software systems
01/01/2020
URV
324K€
Presupuesto del proyecto: 324K€
Líder del proyecto
UNIVERSIDAD ROVIRA I VIRGILI
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
7
Total investigadores
7
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2020-01-01
Proyectos interesantes
INC-TU-2011-1969
eVerification/2, Verificación electrónica para sistemas de v...
126K€
Cerrado
TIN2008-06622-C03-02
VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG...
125K€
Cerrado
BES-2009-015019
VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG...
43K€
Cerrado
EEBB-I-12-05620
VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG...
2K€
Cerrado
Sistema instalado en la nube para la verifica...
Sistema instalado en la nube para la verificación formal del...
187K€
Cerrado
TypeSynth
Synthetic Methods in Program Verification
215K€
Cerrado