TIN2015-71819-P
Financiado
Presupuesto del proyecto
108K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Software Testing Distributed Systems Concurrency Formal Methods
Software Testing Distributed Systems Concurrency Formal Methods
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#software analysis
#verification
#concurrent software
#distributed software
#formal reasoning
#mathematical proof
#strong consistency
#data structures
Lider