Описание
Введение в формальные методы в инженерии программного обеспечения с охватом пропозициональной и предикатной логики (синтаксис, семантика, теория доказательств), формальных языков спецификаций, ограниченного анализа и валидации, инструментов для формальных спецификаций и проверка моделей с конечными автоматами, темпоральной логикой и инструментами model checking.
Предварительные требования
- Предварительные требования: COMP 1805, SYSC 3120 и SYSC 4001.
Условия и порядок
- Предварительные требования: COMP 1805, SYSC 3120 и SYSC 4001.
- Лекции три часа в неделю.
Текст источника на языке оригинала
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.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/undergrad/courses/SYSC/