Электронные материалы
Курсы Александра Адольфовича Летичевского
Инсерционное моделирование 2
Лекция 1 VRS
Лекция 2 проблема полноты
Лекция 3 Верификация formula2dnf
dnf.ap & dnf annotated.ap
Лекция 4 Язык базовых протоколов
Лекция 5 Семантика языка базовых протоколов
Лекция 6 Конкретные реализации
Лекция 7 POTS
Лекция 8 Абстрактные реализации
Лекция 9 Выполнимость
Лекция 10 Предикатный трансформер
Лекция 11 Предикатный трансформер VRS
Лекция 12 Дедуктивная система VRS
Лекция 13 Доказательство замкнутых формул
Лекция 14 Символьный прувер
Инсерционное моделирование и верификация 2009
Лекция 1 Требования
Лекция 2 Метод Флойда
Лекция 3 Транзиционные системы
Лекция 4-5 Структура системы APS
Лекция 6 Стратегии переписывания
Лекция 7 Бисимуляционная эквивалентность
Лекция 8 Агенты и среды
Лекция 9 Средства инсерционного моделирования
Лекция 10 Среда MSC диаграмм
Лекция 11 Система верификации
Лекция 12 Алгоритмы верификации
Лекция 13 Инсерционная машина
Современные проблемы информатики 2008-2009
Лекция 01 50 лет ИК
Лекция 02 Challenges
Лекция 03 Program correctness
Лекция 04 Correctness 2
Лекция 05 Temporal logic
Лекция 06 Model checking
Лекция 07 Software verification
Лекция 08 1 Universal specification language
Лекция 08 2 Addition
Лекция 09 Semantics of USL
Лекция 10 1 Tabloux
Лекция 10 2 Addition
Лекция 11 SDL
Лекция 12 MSC BPSL
Алгебраическое программирование и инсерционное моделирование 2008
Лекция 1.1 - Введение
Лекция 1.2 - Транзиционные системы
Лекция 2 - Языки для ТС SDL
Лекция 3 - Языки для ТС MSC BPSL
Лекция 4-Поведение транзиционных систем
Лекция 5 Агенты и среды
Лекция 6 Императивное программирование
Лекция 7 Императивное параллельное программирование
Лекция 7(2) дополнение
Лекция 8 1-Функциональное программирование
Лекция 8 2-Функциональное параллельное программирование
Лекция 9 Алгебраическое программирование
Лекция 10 Система APS
Современные проблемы информатики 2007-2008
Лекция 01 Challenges
Лекция 02 Floyd method
Лекция 03 Проверка моделей
Лекция 04 Temporal logic
Лекция 05 Universal specification language
Лекция 06 Semantics of USL
Лекция 07 Методы проверки моделей
Лекция 08 Автоматическое доказательство теорем
Лекция 09 Преобразования табло метода
Лекция 10 Алгоритм очевидности
Лекция 11 Применения АО
Инсерционное моделирование 2007
Лекция 01 Транзиционные системы
Лекция 02 Эквивалентность
Лекция 03 Поведение
Лекция 04 Агенты и среды императивное программирование
Лекция 05 Императивное параллельное программирование
Лекция 06 Распределенные системы
Лекция 07 Базовые протоколы
Лекция 08 MSC диаграммы
Лекция 09 UML введение
Лекция 10 UML поведение
Лекция 11 Функциональное программирование
Лекция 12 Параллельное функциональное программирование
Лекция 13 Алгебраическое программирование
Лекция 14 Логическое программирование
Лекция 15 Параллельное логическое программирование
Инсерционное моделирование 2006
Лекция 1 Транзиционные системы
Лекция 2 Алгебра поведений
Лекция 3 Агенты и среды
Лекция 4 Императивное последовательное программирование
Лекция 5 Императивное параллельное программирование
Лекция 6 Функциональное и алгебраическое программирование
Современные проблемы информатики 2005
Лекція 1 Вступ
Лекція 2 Транзиційні системи
Лекція 3 Практичне заняття
Лекція 4 Методи визначення транзиційних систем, CCS
Лекція 5 Алгебра поведінок, пі-числення
Лекція 6 Мобільні амбієнти
Лекція 7 Інсерційне моделювання
Лекція 8 Верифікація
Лекція 9 Локальні та глобальні вимоги
Лекція 10 Критичні області
Лекція 11 Методи верифікації
Современные проблемы информатики 2004
Лекция 1 транзиционные системы
Лекция 2 алгебра поведений
Лекция 3 поведение транзиционных систем
Лекция 4 агенты и среды
Лекция 5 парадигмы программирования
Лекция 6 параллельное императивное программирование
Лекция 7 функциональное и алгебраическое программирование
Лекция 8 логическое программирование
Лекция 9 инсерционное программирование
Лекция 10 темпоральная логика
Лекция 11 спецификация интерактивных систем
Лекция 12 верификация интерактивных систем
Лекция 13 методы автоматического доказательства теорем
Лекция 14 алгоритм очевидности
Верификация и спецификация програм
Лекція 1 Темпоральна логіка
Лекція 2 Верифікація алгебраїчних програм
Лекція 3 Синтаксис мови USL
Лекція 4 Семантика мови USL
Лекція 5 Верифікація інтерактивних систем
Лекція 6 Перевірка моделей
Лекція 7 Базові протоколи та MSC діаграми
Лекція 8 Абстракції атрибутних систем
Лекція 9 Конкретні атрибутні системи
Лекція 10 Побудова абстрактних моделей
Лекція 11 Методи автоматичного доведення теорем
Лекція 12 Алгоритм очевидності
Лекція 13 Інсерційна дедуктивна машина
5-Insertion_Modeling_System.rar
APS_for_teaching.rar
Insertion_modeling_and_verification 2009.rar
OLD_APS_for_teaching.rar
OLD__APS_for_teaching.rar
SAT.rar
SDL_2000_manual.pdf
insertion_progr_0118.doc
live_demo_2.zip
paper_on_behavior_transformations.pdf
Design by
last updated 02.11.2009
© Schum, 2001-2009