VERCORS
Financiado
Presupuesto del proyecto
1M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Cybersecurity Software Testing Data Analytics Artificial Intelligence
Cybersecurity Software Testing Data Analytics Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#concurrent data structures
#multi-core parallelism
#formal techniques
#permission-based separation logic
#multithreaded Java programs
#verification logic
#locking policy
Lider