Repositorios 6

Verificación de programas Program verification 5 Análisis de binarios 2 Binary analysis 2 Decibilidad 2 Ejecución simbólica 2 Especificación 2 Exploit generation 2 Generación de exploits 2 Memory corruption 2 Monitoreo 2 Programa recursivo 2 Software 2 Software Testing and Debugging 2 Symbolic execution 2 Testeo y depuración de software 2 Verificación de sistemas 2 Computer communications networks 1 Distributed systems 1 Ingeniería de software 1 Modelos no deterministas 1 Modelos probabilistas 1 Propiedades de alcanzabilidad 1 Redes de comunicación informática 1 Security and protection 1 Seguridad 1 Sistemas distribuidos 1 Software engineering 1