Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Program verification
Software
4
Verificación de programas
4
Análisis de binarios
2
Arboles binarios
2
Binary analysis
2
Decibilidad
2
Ejecución simbólica
2
Especificación
2
Exploit generation
2
Generación de exploits
2
Memoria dinámica
2
Memory corruption
2
Memory leak
2
Monitoreo
2
Program reasoning
2
Programa recursivo
2
Separation logic
2
Shape analysis
2
Software Testing and Debugging
2
Symbolic execution
2
Teoría de la computación
2
Testeo y depuración de software
2
Theory of Computation
2
Verificación de sistemas
2
Estados esenciales
1
Explosión del espacio de estados
1
Ingeniería de software
1
MTBDD
1
Model checking
1
-
1por Cortez Sánchez, Joshep Joel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Cortez Sánchez, Joshep Joel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Romero, Santiago Gabriel.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Rearte, Lucas Agustín
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Romero, Santiago Gabriel
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Zandarin, Nicolás Hugo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Rearte, Lucas Agustín
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Monti, Raúl Enrique
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis