2.9.4 SDC/Lógica Computacional y Verificación Formal

Temas:
Core Tier1

• Lógica proposicional y de predicados
• Solucionadores SAT y satisfacibilidad
• Verificación de modelos y lógica temporal
• Verificación de programas y lógica de Hoare
• Demostradores de teoremas interactivos

Objetivos de Aprendizaje (Learning Outcomes):
Core-Tier1:

1. Aplicar lógica computacional a resolución de problemas [Usar (Usage)]
2. Usar solucionadores SAT para satisfacción de restricciones [Usar (Usage)]
3. Implementar algoritmos de verificación de modelos [Usar (Usage)]
4. Verificar programas usando métodos formales [Usar (Usage)]