2.5.39 SS/Pruebas de Sistemas Verificación formal de sistemas
Temas:
Core Tier1
- Este tema cubre lenguajes, demostradores de teoremas y descomposición jerárquica.
Objetivos de Aprendizaje:
Core-Tier1:
- Describe qué es una prueba de penetración y por qué es valiosa. [Usar]
- Analice cómo documentar una prueba que revele una vulnerabilidad. [Usar]
- Discuta la importancia de validar los requisitos [Usar]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
