3.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]
2. Usar solucionadores SAT para satisfacción de restricciones [Usar]
3. Implementar algoritmos de verificación de modelos [Usar]
4. Verificar programas usando métodos formales [Usar]