Descrição
Introdução a métodos formais em engenharia de software com cobertura de lógica proposicional e de primeira ordem (sintaxe, semântica, teoria da prova), linguagens de especificação formais, análise e validação limitada, ferramentas de especificação formal, e model checking com máquinas de estados finitas, lógica temporal e ferramentas de model checking.
Pré-requisitos
- Pré-requisito(s): COMP 1805 , SYSC 3120 , e SYSC 4001 .
Condições e modalidades
- Pré-requisito(s): COMP 1805 , SYSC 3120 , e SYSC 4001 .
- Aulas três horas por semana.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/undergrad/courses/SYSC/