Descripción
Introducción a métodos formales en ingeniería de software con cobertura de lógica proposicional y de primer orden (sintaxis, semántica, teoría de la prueba), lenguajes de especificación formales, análisis y validación acotados, herramientas de especificación formal y verificación por modelos con máquinas de estado finitas, lógica temporal y herramientas de model checking.
Prerrequisitos
- Requisito(s): COMP 1805 , SYSC 3120 , y SYSC 4001 .
Condiciones y modalidades
- Requisito(s): COMP 1805 , SYSC 3120 , y SYSC 4001 .
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
Introduction to formal methods in software engineering with coverage of propositional and first-order logic (syntax, semantics, proof theory), formal specification languages, bounded analysis and validation, formal specification tools, and model checking with finite-state machines, temporal logic, and model checking tools.
- Prerequisite(s): COMP 1805 , SYSC 3120 , and SYSC 4001 .
- Lectures three hours a week.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/SYSC/