Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Надежность и отказоустойчивость систем
-
Цель дисциплины: объяснение роли формальной верификации для построения корректных и надежных программ, формирование базовых знаний в этой области; обучение студентов методам формальной спецификации программ (пред- и постусловия, темпоральные утверждения); обучение студентов методам формализации поведения программ (формализация семантики языков программирования, использование формальных моделей).
-
Образовательная программа 6B06103 Компьютерная инженерия
-
Кредитов 5
-
Год обучения 4
-
Семестр 7