Математические методы верификации схем и программ - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Математические методы верификации схем и программучебный курс

Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич
Год создания: 2016
Организация: МГУ имени М.В. Ломоносова
Описание: Изучается подход к задаче проверки корректности поведения проектируемых микроэлектронных схем – метод верификации моделей программ (model checking). Рассматриваются и обосновываются основные приемы построения моделей микроэлектронных схем, логические средства спецификации их поведения, а также алгоритмы проверки выполнимости спецификаций на заданных моделях схем. Изучаются инструментальные средства верификации моделей для темпоральных логик SMV (Symbolic Model Verifier) и SPIN и их применение для верификации моделей программ и логических схем. При чтении лекций используются компьютерные презентации.
Добавил в систему: Захаров Владимир Анатольевич

Преподавание курса

с 1 сентября 2022 Подымов Владислав Васильевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 36 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2021 - 20 декабря 2021 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 16 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2020 - 20 декабря 2020 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 16 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2019 - 20 декабря 2019 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 16 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2018 - 20 декабря 2018 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
обязательная, вариативной части, лекции, 36 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2017 - 20 декабря 2017 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 36 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

с 1 сентября 2016 Подымов Владислав Васильевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, семинары, 18 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич

1 сентября 2016 - 20 декабря 2016 Захаров Владимир Анатольевич
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
обязательная, вариативной части, лекции, 36 часов
Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич